Given the above fact, one can ask: is tom a cat? ?- cat(tom).
Ако е дадено горното правило, тогаш моше да се постават прашањата: is tom a cat? ?- cat(tom).