From tob@world.std.com Mon May  7 01:59:59 2001
Received: from localhost.std.com (ppp0b183.std.com [208.192.101.183])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f46Nxv308790
	for <prolog@swi.psy.uva.nl>; Mon, 7 May 2001 01:59:58 +0200 (MET DST)
Received: (from Tehom@localhost)
	by localhost.std.com (8.9.3/8.9.3) id TAA01053;
	Sun, 6 May 2001 19:58:15 -0400
X-Authentication-Warning: localhost.std.com: Tehom set sender to tob@world.std.com using -f
To: "LECONTE Jean-michel" <webmaster@lambda-systems.com>
Cc: <prolog@swi.psy.uva.nl>
Subject: Re: [SWIPL] predicate_property
References: <00f601c0d671$03eebd00$6300a8c0@dgse>
From: Tom Breton <tob@world.std.com>
Date: 06 May 2001 19:35:26 -0400
In-Reply-To: "LECONTE Jean-michel"'s message of "Sun, 6 May 2001 21:10:44 -0000"
Message-ID: <m3itje1269.fsf@world.std.com>
User-Agent: Gnus/5.0802 (Gnus v5.8.2) Emacs/20.4
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Lines: 19

"LECONTE Jean-michel" <webmaster@lambda-systems.com> 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

