From GordonStreeter@bigfoot.com  Thu Sep 14 22:47:13 2000
Received: from mail.hiwaay.net (IDENT:0@fly.HiWAAY.net [208.147.154.56])
	by swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id WAA04788
	for <prolog@swi.psy.uva.nl>; Thu, 14 Sep 2000 22:47:13 +0200 (MET DST)
Received: from calcutta (tc14-216-180-35-66.dialup.HiWAAY.net [216.180.35.66] (may be forged))
	by mail.hiwaay.net (8.11.0/8.11.0) with SMTP id e8EKlQ724156
	for <prolog@swi.psy.uva.nl>; Thu, 14 Sep 2000 15:47:27 -0500 (CDT)
Message-ID: <005b01c01e8c$fb4287f0$1064a8c0@sentar.com>
From: "Gordon Streeter" <GordonStreeter@bigfoot.com>
To: <prolog@swi.psy.uva.nl>
Subject: Circular references
Date: Thu, 14 Sep 2000 15:47:21 -0500
MIME-Version: 1.0
Content-Type: multipart/alternative;
	boundary="----=_NextPart_000_0058_01C01E63.11B9D1C0"
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 5.00.3018.1300
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.3018.1300

This is a multi-part message in MIME format.

------=_NextPart_000_0058_01C01E63.11B9D1C0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

I'm having various troubles dealing with circular references.  The =
biggest problem is in trying to assert a term with a circular reference. =
 My application is more complex, but here is a simple test:

    A =3D a(A), assert(A).

This causes an exception (0xc00000fd) in PLWIN.EXE on WinNT 4.0, SP6, =
for SWI-Prolog 3.2.8, 3.3.6, and 3.3.10.

Any help would be appreciated.

Thanks,

G

GordonStreeter@bigfoot.com


------=_NextPart_000_0058_01C01E63.11B9D1C0
Content-Type: text/html;
	charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META content=3D"text/html; charset=3Diso-8859-1" =
http-equiv=3DContent-Type>
<META content=3D"MSHTML 5.00.3018.900" name=3DGENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=3D#ffffff>
<DIV><FONT face=3DArial size=3D2>
<DIV><FONT face=3DArial size=3D2>I'm having various troubles dealing =
with circular=20
references.&nbsp; The biggest problem is in trying to assert a term with =
a=20
circular reference.&nbsp; My application is more complex, but here is a =
simple=20
test:</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2>&nbsp;&nbsp;&nbsp; A =3D a(A),=20
assert(A).</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2>This causes an exception (0xc00000fd) =
in PLWIN.EXE=20
on WinNT 4.0, SP6, for SWI-Prolog 3.2.8, 3.3.6, and 3.3.10.</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2>Any help would be =
appreciated.</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2>Thanks,</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2>G</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2><A=20
href=3D"mailto:GordonStreeter@bigfoot.com">GordonStreeter@bigfoot.com</A>=
</FONT></DIV>
<DIV>&nbsp;</DIV></FONT></DIV></BODY></HTML>

------=_NextPart_000_0058_01C01E63.11B9D1C0--

