An example of a rule is: animal(X) :- cat(X).
Пример за правило е следното: animal(X):- cat(X).