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. ?-