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 ; 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 ; Thu, 14 Sep 2000 15:47:27 -0500 (CDT) Message-ID: <005b01c01e8c$fb4287f0$1064a8c0@sentar.com> From: "Gordon Streeter" To: 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

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

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

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.

Any help would be = appreciated.

Thanks,

GordonStreeter@bigfoot.com=

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