If we add that rule and ask what things are animals? ?- animal(X).
Доколку го додадеме ова правило и потоа прашаме what things are animals? ?- animal(X).