COG366 Demo Page

Following is a demo of the Imaginary Friend program.

?- solve.
joanna and moose went to a circus.
lou and grizzlybear went to a train.
ralph and seal went to a rockband.
winnie and zebra went to a spaceship.
true ;
false.

?-