Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
isa(carnivore,lion). isa(carnivore,leopard). isa(carnivore,bear). isa(hunter,lion). isa(hunter,leopard). isa(hunter,bear). isa(herbivore,elephant). isa(herbivore,zebra). isa(herbivore,wildebeeste). isa(herbivore,bear). isa(hunted,zebra). isa(hunted,wildebeeste). /** <examples> ?- isa(herbivore,A),isa(hunter,A). */