Subject: Re: [SWIPL] reference number

From: Jan Wielemaker <[email-masked]>
Date: Sun, 6 May 2001 10:06:43 +0200

> 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