- domains
- being = symbol
- predicates
- animal(being) % all animals are beings
dog(being) % all dogs are beings
die(being) % all beings die
- clauses
- animal(X) :- dog(X) % all dogs are animals
dog(fido). % fido is a dog
die(X) :- animal(X) % all animals die