From webmaster@lambda-systems.com Sun May  6 20:54:56 2001
Received: from magnolia.wanadoo.fr (smtp-rt-11.wanadoo.fr [193.252.19.62])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f46Ist323027
	for <prolog@swi.psy.uva.nl>; Sun, 6 May 2001 20:54:56 +0200 (MET DST)
Received: from antholoma.wanadoo.fr (193.252.19.153) by magnolia.wanadoo.fr; 6 May 2001 20:54:49 +0200
Received: from dgse (193.252.179.108) by antholoma.wanadoo.fr; 6 May 2001 20:54:47 +0200
Message-ID: <00e201c0d66f$0cc7aba0$6300a8c0@dgse>
Reply-To: "LECONTE Jean-michel" <webmaster@lambda-systems.com>
From: "LECONTE Jean-michel" <webmaster@lambda-systems.com>
To: <prolog@swi.psy.uva.nl>
Date: Sun, 6 May 2001 20:56:40 -0000
MIME-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 5.50.4522.1200
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4522.1200
Subject: [SWIPL] predicate_property

why if i ask :

?- V = (p(X),p(X)) , predicate_property(V, built_in).

i get Yes ????


Thanks

