From nick24@cityline.ru Tue Oct  2 09:43:07 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 f927h6v26242
	for <prolog@swi.psy.uva.nl>; Tue, 2 Oct 2001 09:43:06 +0200 (MET DST)
Received: from home (31.163.39.dn.dialup.cityline.ru [195.46.163.31])
	by pinochet.cityline.ru (8.11.6/t/08-Oct-1998) with SMTP id f927egn47686
	for <prolog@swi.psy.uva.nl>; Tue, 2 Oct 2001 11:40:42 +0400 (MSD)
Message-ID: <002201c14b15$8cfbe780$1fa32ec3@home>
From: "Nick Fedorov" <nick24@cityline.ru>
To: "Prolog Mailing List" <prolog@swi.psy.uva.nl>
References: <004601c149d4$f0d7bf50$5fac2ec3@home> <01100109314102.10555@gollem>
Subject: Re: [SWIPL] Prolog database bug?
Date: Tue, 2 Oct 2001 11:39:36 +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

Hello!
I found errore in my program. I forgot that

    par1 o par2 o par3        % o - operator
    and
    par1 o par2 o par3

might be different clauses (this is realy not obvious).
I lost one cut predicate.

Sorry!
Thanks for your response.

Given below absolutely wrong !!!

> 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?


