From jan@swi.psy.uva.nl Sun May  6 10:06: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 f4686i308843;
	Sun, 6 May 2001 10:06:44 +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 f4686ht15703;
	Sun, 6 May 2001 10:06:43 +0200
Date: Sun, 6 May 2001 10:06:43 +0200
Message-Id: <200105060806.f4686ht15703@gollem.swi.psy.uva.nl>
From: Jan Wielemaker <jan@swi.psy.uva.nl>
Subject: Re: [SWIPL] reference number
To: Partsakoulakis Ioannis <jpar@aegean.gr>,
   "'prolog@swi.psy.uva.nl'" <prolog@swi.psy.uva.nl>
In-Reply-To: Partsakoulakis Ioannis's message of Sat, 5 May 2001 21:47:40 +0300 
Phone: +31 - 20 - 525 6121

> Is it possible to assert a fact such that one of the arguments of the
> asserted fact to be the unique reference number that corresponds to that
> fact? (i.e. something like asserta(a(Ref),Ref)).

At the moment, not.  It shouldn't be too hard to add that possibility
by generating the reference before starting the compiler, but such an
extension wouldn't be covered by any standard I presume.

What is the problem you want to tackle?

	--- Jan

