From Sebastien.Konieczny@lifl.fr  Thu Mar  2 15:20:32 2000
Received: from malonne.lifl.fr (malonne.lifl.fr [134.206.10.29])
	by swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id PAA08351
	for <prolog@swi.psy.uva.nl>; Thu, 2 Mar 2000 15:20:32 +0100 (MET)
Received: from lotus.lifl.fr (lotus.lifl.fr [134.206.10.229])
          by malonne.lifl.fr (8.9.3/jtpda-5.3.3) with ESMTP id PAA29719
          ; Thu, 2 Mar 2000 15:20:26 +0100 (MET)
Received: from (konieczn@localhost)
          by lotus.lifl.fr (8.9.1b+Sun/jtpda-5.2.9.1) id PAA17767
          ; Thu, 2 Mar 2000 15:20:51 +0100 (MET)
From: "Sebastien.Konieczny" <Sebastien.Konieczny@lifl.fr>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-ID: <14526.30915.318892.836057@lotus>
Date: Thu, 2 Mar 2000 15:20:51 +0100 (MET)
To: prolog@swi.psy.uva.nl
Subject: list size limitation ?
X-Mailer: VM 6.61 under Emacs 19.34.1


I have a question about the size of the lists in SWI-prolog.
I use prolog for AI courses and the students use the 3.3.0 version.
In an exercice the answer of the query is: 

L = [etat([], [oie, renard, grain], d), etat([oie], [renard, grain], g), etat([oie], [renard, grain], d), etat([renard, oie], [grain], g), etat([oie], [grain, renard], d), etat([oie, grain], [renard], g), etat([grain], [renard, oie], d), etat([renard, grain], [oie], g), etat([renard|...], [oie], d), etat(..., ..., ...)] 

What are the "..." ?
When I try the same query on my computer (I use the 3.2.0 version), I get

L = [etat([], [oie, renard, grain], d), etat([oie], [renard, grain], g), etat([oie], [renard, grain], d), etat([renard, oie], [grain], g), etat([oie], [grain, renard], d), etat([oie, grain], [renard], g), etat([grain], [renard, oie], d), etat([renard, grain], [oie], g), etat([renard, grain], [oie], d), etat([renard, oie, grain], [], g)] 


So it seems that the size of an answered list is bounded in the new version and
I would like to know if it is to possible to increase or remove this limit.

Thanks,


Sebastien Konieczny.

_________________________________________________________		
		Sebastien Konieczny
konieczn@lifl.fr	    http://www.lifl.fr/~konieczn
   Laboratoire d'Informatique Fondamentale de Lille
Universite de Lille 1 - 59655 Villeneuve d'Ascq - France 
_________________________________________________________

