From jan@swi.psy.uva.nl  Thu Aug 17 10:22:09 2000
Received: from gollem.swi.psy.uva.nl (root@gollem [145.18.152.30])
	by swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id KAA09724;
	Thu, 17 Aug 2000 10:22:04 +0200 (MET DST)
Received: (from jan@localhost)
	by gollem.swi.psy.uva.nl (8.9.3/8.9.3/SuSE Linux 8.9.3-0.1) id KAA14166;
	Thu, 17 Aug 2000 10:22:18 +0200
Date: Thu, 17 Aug 2000 10:22:18 +0200
Message-Id: <200008170822.KAA14166@gollem.swi.psy.uva.nl>
From: Jan Wielemaker <jan@swi.psy.uva.nl>
Subject: Re: making dynamic procedures static
To: Paul Singleton <p.singleton@keele.ac.uk>,
        SWI Prolog <prolog@swi.psy.uva.nl>
In-Reply-To: Paul Singleton's message of Wed, 16 Aug 2000 14:20:43 +0100
Phone: +31 - 20 - 525 6121

> Is there any way to:
> 
>   make a dynamic procedure static?

'$set_predicate_attribute'(foo/1,  (dynamic), 0).

But don't rely on it :-)  At the moment there isn't really a difference
between the two, but that could easily change and then this won't work
anymore.  Basically the only portable way I can think of is to load a
file defining a term-expansion rule generating clauses for the dynamic
predicate.

>   create a static procedure with no clauses?

:- multifile foo/1.

	Regards --- Jan

