From p.singleton@keele.ac.uk  Fri Jan 21 05:45:09 2000
Received: from cmailg3.svr.pol.co.uk (cmailg3.svr.pol.co.uk [195.92.195.173])
	by swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id FAA00774
	for <prolog@swi.psy.uva.nl>; Fri, 21 Jan 2000 05:45:09 +0100 (MET)
Received: from modem4294967293.justice.dialup.pol.co.uk ([195.92.4.3] helo=keele.ac.uk)
	by cmailg3.svr.pol.co.uk with esmtp (Exim 3.13 #0)
	id 12BVwe-0007Ex-00
	for prolog@swi.psy.uva.nl; Fri, 21 Jan 2000 04:45:12 +0000
Message-ID: <3887DE88.C58ED894@keele.ac.uk>
Date: Fri, 21 Jan 2000 04:20:24 +0000
From: Paul Singleton <p.singleton@keele.ac.uk>
Organization: SmartArts Computing Consultancy
X-Mailer: Mozilla 4.7 [en] (WinNT; I)
X-Accept-Language: en
MIME-Version: 1.0
To: SWI Prolog <prolog@swi.psy.uva.nl>
Subject: Re: [Fwd: abolish/1 in 3.3.0]
References: <3884CB89.A930796C@keele.ac.uk> <3884D86D.6074DB97@noe.ubi.pt> <38863ED7.D6F27F6@keele.ac.uk> <00012014554802.22472@gollem>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit

Jan Wielemaker wrote:

> On Wed, 19 Jan 2000, Paul Singleton wrote:

> >...
> >But seriously, I need to unconsult procedures, and if that's outside
> >the ISO standard, so be it.  Help!

> I think I've got your point.  First, the hack:
> 
>         abolish_static_procedure(Name/Arity) :-
>                 dynamic(Name/Arity),
>                 abolish(Name/Arity).
> 
> :-)

That is cool :-) and I'm sorry I hadn't read the manual
carefully enough to spot the possibility.

(NB it isn't by any chance an ISO-compliant hack? :-)

I'm perfectly happy to use this: I only abolish from a
few places in my code, and this doesn't need or deserve a
non-standard abolish/1 semantics.

Thanks!

Paul Singleton


