Subject: Re: [SWIPL] Prolog database bug?

From: "Nick Fedorov" <[email-masked]>
Date: Sun, 30 Sep 2001 21:23:47 +0400

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?