Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
/* Facts */ plant(grass). plant(berries). plant(nuts). insect(caterpillar). insect(butterfly). animal(squirrel). animal(goldfinch). animal(fox). animal(snake). animal(frog). animal(eagle). animal(X) :- insect(X). insectivore(frog). insectivore(goldfinch). eats(caterpillar,grass). eats(butterfly,berries). eats(goldfinch,berries). eats(squirrel,nuts). eats(fox,squirrel). eats(fox,goldfinch). eats(snake,goldfinch). eats(snake,frog). eats(eagle,frog). eats(eagle,snake). eats(eagle,goldfinch). eats(X,Y) :- insectivore(X), insect(Y). /* Rules */ herbivore(X):- eats(X,Y), plant(Y). carnivore(X):- eats(X,Y), animal(Y). omnivore(X):- herbivore(X), carnivore(X). predator(X,Y):- eats(X,Y). prey(X,Y):- eats(Y,X). pyramid(X,Y):- prey(Y,X). pyramid(X,Y):- prey(Z,X), pyramid(Z,Y).