builtin: SWI-Prolog

builtin: SWI-Prolog

Post by algerno » Mon, 22 Dec 2003 09:56:28


Is there a predicate that determines if a term is a builtin predicate in
SWI-Prolog?
 
 
 

builtin: SWI-Prolog

Post by Holger Kan » Tue, 23 Dec 2003 03:24:50


predicate_property(?Head, built_in)

Excerpt from help(predicate_property):


built_in
Is true if the predicate is locked as a built-in predicate.
This implies it cannot be redefined in its definition module
and it can normally not be seen in the tracer.

--
XXXX@XXXXX.COM

 
 
 

builtin: SWI-Prolog

Post by algerno » Wed, 24 Dec 2003 09:22:12

I tried predicate_property but it does handle the builtin predicates like
append, etc