From pmoura@noe.ubi.pt  Wed Aug 16 20:35:35 2000
Received: from fep02-svc.mail.telepac.pt (fep02-svc.mail.telepac.pt [194.65.5.201])
	by swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id UAA27222
	for <prolog@swi.psy.uva.nl>; Wed, 16 Aug 2000 20:35:34 +0200 (MET DST)
Received: from [194.65.201.80] by fep02-svc.mail.telepac.pt
          (InterMail vM.4.01.02.27 201-229-119-110) with ESMTP
          id <20000816183930.FDPQ1140.fep02-svc.mail.telepac.pt@[194.65.201.80]>;
          Wed, 16 Aug 2000 19:39:30 +0100
User-Agent: Microsoft-Outlook-Express-Macintosh-Edition/5.02.2022
Date: Wed, 16 Aug 2000 19:36:41 +0100
Subject: Re: making dynamic procedures static
From: Paulo Moura <pmoura@noe.ubi.pt>
To: Paul Singleton <p.singleton@keele.ac.uk>,
        SWI Prolog <prolog@swi.psy.uva.nl>
Message-ID: <B5C09DC9.4F3B%pmoura@noe.ubi.pt>
In-Reply-To: <399A952B.CA536C02@keele.ac.uk>
Mime-version: 1.0
Content-type: text/plain; charset="ISO-8859-1"
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by swi.psy.uva.nl id UAA27222

on 16.08.00 14:20, Paul Singleton at p.singleton@keele.ac.uk wrote:

> Is there any way to:
> 
> make a dynamic procedure static?
> 
> create a static procedure with no clauses?

You should be able to create a static predicate with no clauses by using
(for example) the discontiguous/1 directive. For instance, if you a consult
a Prolog source file contain only the following line of code:

    :- discontiguous(foo/1).

Then foo/1 will be static and have no cluases.

Regards,

Paulo


-----------------------------------------------------------
Paulo Jorge Lopes de Moura
Dep. of Mathematics and Informatics   Office 4.32 Ext. 3251
University of Beira Interior          Phone: +351 275319700
6201-001 Covilhã                      Fax:   +351 275319732
Portugal

mailto:pmoura@noe.ubi.pt
http://www.ci.uc.pt/logtalk/pmoura.html
-----------------------------------------------------------


