From _nicki@mail.ru Wed Sep 26 13:28:31 2001
Received: from mx10.port.ru (mx10.port.ru [194.67.57.20])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f8QBSVv08486
	for <prolog@swi.psy.uva.nl>; Wed, 26 Sep 2001 13:28:31 +0200 (MET DST)
Received: from 225.172.10.dn.dialup.cityline.ru ([195.46.172.225] helo=unemployed)
	by mx10.port.ru with smtp (Exim 3.14 #1)
	id 15mCrX-0001Z2-00
	for prolog@swi.psy.uva.nl; Wed, 26 Sep 2001 15:28:24 +0400
Message-ID: <002c01c1467e$574d4570$e1ac2ec3@unemployed>
From: =?koi8-r?B?7snLz8zByiDmxcTP0s/X?= <_nicki@mail.ru>
To: "Prolog Mailing List" <prolog@swi.psy.uva.nl>
Date: Wed, 26 Sep 2001 15:27:05 +0400
MIME-Version: 1.0
Content-Type: text/plain;
	charset="koi8-r"
Content-Transfer-Encoding: 7bit
X-Priority: 1
X-MSMail-Priority: High
X-Mailer: Microsoft Outlook Express 5.50.4522.1200
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4522.1200
Subject: [SWIPL] "My searching" problem.

Hi, all!

It seems I got Prolog stoped "thinking" right way (entering cycling),
 after trying satisfy each of 555 asserted "subgoals" (problem like tree
searching) /*all solutions before this point was found immediately*/.
I don't think my search problem unsolvable, but it actualy stoped.
It is hard to catch why.

I intrested, whether 555 some magic number, or Prolog has some other
limitions (particularly on asserted clauses)?
May be better enlarge stack limitations?

By the way, at this point Prolog stops eating memory, staying at about 3 000
KB (it is very suspect'ive).
/* 2 garbage collections was gained !!!*/

Could somebody help me?

Thanx.
/Nick/




