From jan@swi.psy.uva.nl Sun May  6 21:42:41 2001
Received: from gollem.swi.psy.uva.nl (root@gollem [145.18.152.30])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f46Jge327504;
	Sun, 6 May 2001 21:42:41 +0200 (MET DST)
Received: (from jan@localhost)
	by gollem.swi.psy.uva.nl (8.11.2/8.11.2/SuSE Linux 8.11.1-0.5) id f46JgeG24817;
	Sun, 6 May 2001 21:42:40 +0200
Date: Sun, 6 May 2001 21:42:40 +0200
Message-Id: <200105061942.f46JgeG24817@gollem.swi.psy.uva.nl>
From: Jan Wielemaker <jan@swi.psy.uva.nl>
Subject: Re: [SWIPL] predicate_property
To: "LECONTE Jean-michel" <webmaster@lambda-systems.com>,
   <prolog@swi.psy.uva.nl>, prolog-request@swi.psy.uva.nl
Phone: +31 - 20 - 525 6121

> 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.

