From nick24@cityline.ru Sun Sep 30 19:27:28 2001
Received: from pinochet.cityline.ru (pinochet.cityline.ru [195.46.160.34])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f8UHRSv29295;
	Sun, 30 Sep 2001 19:27:28 +0200 (MET DST)
Received: from home (95.172.10.dn.dialup.cityline.ru [195.46.172.95])
	by pinochet.cityline.ru (8.11.6/t/08-Oct-1998) with SMTP id f8UHPi175180;
	Sun, 30 Sep 2001 21:25:45 +0400 (MSD)
Message-ID: <004601c149d4$f0d7bf50$5fac2ec3@home>
From: "Nick Fedorov" <nick24@cityline.ru>
To: "Wielemaker Jan" <jan@swi.psy.uva.nl>
Cc: "Prolog Mailing List" <prolog@swi.psy.uva.nl>
Subject: Re: [SWIPL] Prolog database bug?
Date: Sun, 30 Sep 2001 21:23:47 +0400
MIME-Version: 1.0
Content-Type: text/plain;
	charset="koi8-r"
Content-Transfer-Encoding: 7bit
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 5.50.4807.1700
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4807.1700

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?


