From jpar@aegean.gr Sat May  5 20:48:02 2001
Received: from eupalinos.samos.aegean.gr (eupalinos.aegean.gr [195.251.160.12])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f45Im1323825
	for <prolog@swi.psy.uva.nl>; Sat, 5 May 2001 20:48:02 +0200 (MET DST)
Received: by eupalinos.aegean.gr with Internet Mail Service (5.5.2653.19)
	id <KJD4BSM4>; Sat, 5 May 2001 21:47:41 +0300
Message-ID: <81FBBA8C21B9D311A6E500508B6144AA120190@eupalinos.aegean.gr>
From: Partsakoulakis Ioannis <jpar@aegean.gr>
To: "'prolog@swi.psy.uva.nl'" <prolog@swi.psy.uva.nl>
Date: Sat, 5 May 2001 21:47:40 +0300 
MIME-Version: 1.0
X-Mailer: Internet Mail Service (5.5.2653.19)
Content-Type: text/plain
Subject: [SWIPL] reference number

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.

