Skip to content

Instantly share code, notes, and snippets.

@matthewfl

matthewfl/test.prolog

Created July 16, 2010 03:25
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save matthewfl/477884 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save matthewfl/477884 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
test.prolog
faster(X,Y) :- faster(X,Z), faster(Z,Y).
eat(X,Y) :- faster(X,Y), carnivore(X).
eat(lion, zebra).
faster(zebra, dog).
carnivore(dog).
% then I try
eat(lion, X). % and I only get zebra
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment