Subject: Re: [SWIPL] predicate_property

From: Tom Breton <[email-masked]>
Date: 06 May 2001 19:35:26 -0400

"LECONTE Jean-michel" <[email-masked]> writes:

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

I expect because predicate_property takes (,) as the predicate:

?- V = (p(X),p(X)) , V =.. List.

V = p(_G280), p(_G280)
X = _G280
List = [ (,), p(_G280), p(_G280)] 

-- 
Tom Breton, http://world.std.com/~tob