From jan@swi.psy.uva.nl Mon Oct  1 09:31:41 2001
Received: from gollem.swi.psy.uva.nl (root@gollem [145.18.152.30])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f917Vfv06868;
	Mon, 1 Oct 2001 09:31:41 +0200 (MET DST)
Received: from localhost (localhost [[UNIX: localhost]])
	by gollem.swi.psy.uva.nl (8.11.2/8.11.2/SuSE Linux 8.11.1-0.5) id f917Vfi10698;
	Mon, 1 Oct 2001 09:31:41 +0200
From: Jan Wielemaker <jan@swi.psy.uva.nl>
Organization: SWI, University of Amsterdam
To: "Nick Fedorov" <nick24@cityline.ru>
Subject: Re: [SWIPL] Prolog database bug?
Date: Mon, 1 Oct 2001 09:27:36 +0200
X-Mailer: KMail [version 1.0.29.2]
Content-Type: text/plain
Cc: "Prolog Mailing List" <prolog@swi.psy.uva.nl>
References: <004601c149d4$f0d7bf50$5fac2ec3@home>
In-Reply-To: <004601c149d4$f0d7bf50$5fac2ec3@home>
MIME-Version: 1.0
Message-Id: <01100109314102.10555@gollem>
Content-Transfer-Encoding: 8bit

On Sun, 30 Sep 2001, Nick Fedorov wrote:
>Hi.
>
>The problem:
>
>?- my_program.
>
>    ...
>    Call: (585) goal(param1, _G46697) ? creep
>    Exit: (585) goal(param1, param2) ? creep
>    ...
>    Call: (585) goal(param1, _G46697) ? creep
>    Exit: (585) goal(param1, param2) ? creep
>    ...
>    Call: (585) goal(param1, _G46697) ? creep
>    Fail: (585) goal(param1, _G46697) ? creep            !!!!!!!!!!!
>^  Call: (585) asserta(goal(param1, param2) ? abort
>% Execution Aborted
>?- listing(goal).
>
>:- dynamic goal/2.
>
>goal(param1, param2).
>
>Yes
>-----------------------------------------------------
>Why?

Dunno.  On first sight I'd say this must be a bug. Could
you get me a program to reproduce this?

	Thanks --- Jan

