Find all clauses related to an atom
- by Luc Touraille
This is probably a very silly question (I just started learning Prolog a few hours ago), but is it possible to find all the clauses related to an atom? For example, assuming the following knowledge base:
cat(tom).
animal(X) :- cat(X).
, is there a way to obtain every possible information about tom (or at least all the facts that are explicitly…