Subject: Re: [SWIPL] Prolog database bug?

From: Jan Wielemaker <[email-masked]>
Date: Mon, 1 Oct 2001 09:27:36 +0200

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