I want to get all predicates that are in the file.
?- get alle Predicates
Then I would get the result:
car(_,_,,). car(X,Y,[X|R],[Y|L]):- car(X,Y,R,L). car(X,Y,[Z|R],[Z|L]):- dif(X,Z), car(X,Y,R,L).
I read somewhere about Prolog’s Introspection.
But I just found functor, arg, ?Term =… ?List etc.
Then I have to test every phrase in the file.
I hope there is a better solution?
Or do I have to program a parser?