From jan@swi.psy.uva.nl Tue May  8 12:30:44 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 f48AUi315520;
	Tue, 8 May 2001 12:30:44 +0200 (MET DST)
Received: from localhost (localhost [[UNIX: localhost]])
	by gollem.swi.psy.uva.nl (8.11.2/8.11.2/SuSE Linux 8.11.1-0.5) id f48AUiT07554;
	Tue, 8 May 2001 12:30:44 +0200
From: Jan Wielemaker <jan@swi.psy.uva.nl>
Organization: SWI, University of Amsterdam
To: Rastei Amelia Viorela <ra27946@SCS.UBBCluj.Ro>, <prolog@swi.psy.uva.nl>
Subject: Re: [SWIPL] question
Date: Tue, 8 May 2001 12:30:06 +0200
X-Mailer: KMail [version 1.0.29.2]
Content-Type: text/plain
References: <Pine.LNX.4.30.0105081218210.21753-100000@Heavy.SCS.UBBCluj.Ro>
In-Reply-To: <Pine.LNX.4.30.0105081218210.21753-100000@Heavy.SCS.UBBCluj.Ro>
MIME-Version: 1.0
Message-Id: <01050812304401.07292@gollem>
Content-Transfer-Encoding: 8bit

On Tue, 08 May 2001, Rastei Amelia Viorela wrote:
>Is there a possibility to check if there is a predicate defined in a
>program.
> For example
>
>
> chack :- exits_predicate(PREDICATE),...

See current_predicate/2, predicate_property/2 or catch/3.

	--- Jan

