From nick24@cityline.ru Wed Sep 26 23:44:26 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 f8QLiPv18070
	for <prolog@swi.psy.uva.nl>; Wed, 26 Sep 2001 23:44:25 +0200 (MET DST)
Received: from unemployed (56.175.47.dn.dialup.cityline.ru [195.46.175.56])
	by pinochet.cityline.ru (8.11.6/t/08-Oct-1998) with SMTP id f8QLgB137779
	for <prolog@swi.psy.uva.nl>; Thu, 27 Sep 2001 01:42:12 +0400 (MSD)
Message-ID: <005901c146d4$17b0d340$0bac2ec3@unemployed>
From: =?koi8-r?B?7snLz8zByiDmxcTP0s/X?= <nick24@cityline.ru>
To: "Prolog Mailing List" <prolog@swi.psy.uva.nl>
Date: Thu, 27 Sep 2001 01:41:17 +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.4522.1200
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4522.1200
Subject: [SWIPL] Prolog database bug?

Hi, all!
Sorry for english.

Suppose I have predicate
    pred(param1, param2, param3, ...).
at the database, earlier inserted into it by
    asserta(pred(param1, param2, ...).

So, as I understand, such text in my program
    ..., pred(param1, X, Y, ...), ...
must allways be true, while solutions (for pred) exists.

... but I saw my own eyes that such predicate was FAIL,
 though solutions for him still exist in database.
May be important that fail occur in Redo of some above clauses (in text).

This leads my program to apearance of identical clauses in database,
 that is extrimely undesirable for me and "at all". I still don't know how to
walk arround this moment (because it is very unexpectedly).
I think it is a bug, because normal reaction is TRUE.

Who can help me?
/Nick/

