From webmaster@lambda-systems.com Sun May  6 21:09:04 2001
Received: from bassia.wanadoo.fr (smtp-rt-5.wanadoo.fr [193.252.19.159])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f46J94324074
	for <prolog@swi.psy.uva.nl>; Sun, 6 May 2001 21:09:04 +0200 (MET DST)
Received: from amyris.wanadoo.fr (193.252.19.150) by bassia.wanadoo.fr; 6 May 2001 21:08:59 +0200
Received: from dgse (193.252.179.108) by amyris.wanadoo.fr; 6 May 2001 21:08:51 +0200
Message-ID: <00f601c0d671$03eebd00$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 21:10:44 -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

   

