Given the above fact, one can ask: is tom a cat? ?- cat(tom).
هنا عدد من الإستفسارات التي يمكن سؤالها بناء على هذه الحقيقة: هل توم قط (is tom a cat)؟ ?- cat(tom). yes.