Re: how to get predicats from facts?



You can make it work with XSB Prolog or Flora2.

In XSB:
:- hilog person.
:- hilog cat.
person(tom).
person(mike).
cat(tom).
cat(lisa).

get_predicates(Name,L) :-
findall(X, X(Name), L).

?- get_predicates(tom, L).

L=[person,cat]
.