Subject: [SWIPL] reference number

From: Partsakoulakis Ioannis <[email-masked]>
Date: Sat, 5 May 2001 21:47:40 +0300

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)).

Thanks

Yannis.