An example of a fact is: cat(tom). which is equivalent to the rule: cat(tom) :- true.
На пример cat(tom). што исто така може да се запише преку правилото cat(tom) :- true.