Subject: Re: [SWIPL] predicate_property

From: Jan Wielemaker <[email-masked]>
Date: Sun, 6 May 2001 21:42:40 +0200

> why if i ask :
> 
> ?- V = (p(X),p(X)) , predicate_property(V, built_in).
> 
> i get Yes ????

Why not?  ,/2 is a built-in predicate after all.

	--- Jan

P.s.	Searching the archives will give you more on meta-interpreters.