Following is a demo of the Imaginary Friends Prolog program.
?- solve. joanne wrote the circus story with the moose. lou wrote the train story with the bear. ralph wrote the band story with the seal. winnie wrote the spaceship story with the zebra. true .