Skip to content

Instantly share code, notes, and snippets.

@topspinppy
Created September 27, 2017 02:45
Show Gist options
  • Save topspinppy/2e4bec3b8f589b65f1161346da5d662b to your computer and use it in GitHub Desktop.
Save topspinppy/2e4bec3b8f589b65f1161346da5d662b to your computer and use it in GitHub Desktop.
eat(fred,meat).
eat(wima,meat).
eat(wima,vegetables).
eat(betty,vegetables).
eat(barney,meat).
eat(barney,vegetables).
food(meat).
food(vegetables).
carnivore(X):- eat(X,meat).
omnivore(X):- eat(X,meat), eat(X,vegetables).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment