?- predicate_property(member(A, B), built_in). to yield
true but i get
false. I want to find a way to check if a predicate is a predicate that comes with the SWI Prolog installation because i want to
call/1 it in a meta-interpreter.
Is there a way to distinguish between, say,
subtract(A, B, C), and
member(A, B), on the one hand, and, say
myPredicate(A) on the other hand? I can’t use the property
defined because this also yields
true for predicates which are asserted by the user. Should i use the property
I am using SWI Prolog 8.2.1 on mac os Catalina.