From jan@swi.psy.uva.nl Wed Feb 28 10:10:40 2001
Received: from gollem.swi.psy.uva.nl (root@gollem [145.18.152.30])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f1S9AeZ24804;
	Wed, 28 Feb 2001 10:10:40 +0100 (MET)
Received: from localhost (localhost [[UNIX: localhost]])
	by gollem.swi.psy.uva.nl (8.9.3/8.9.3/SuSE Linux 8.9.3-0.1) id KAA26869;
	Wed, 28 Feb 2001 10:10:40 +0100
From: Jan Wielemaker <jan@swi.psy.uva.nl>
Organization: SWI, University of Amsterdam
To: jean pierre spagnol <jps0123@club-internet.fr>, prolog@swi.psy.uva.nl
Subject: Re: [SWIPL] problem with listing
Date: Wed, 28 Feb 2001 10:04:13 +0100
X-Mailer: KMail [version 1.0.28]
Content-Type: text/plain
References: <3A9CBCCA.25A40FB6@club-internet.fr>
In-Reply-To: <3A9CBCCA.25A40FB6@club-internet.fr>
MIME-Version: 1.0
Message-Id: <01022810103902.26632@gollem>
Content-Transfer-Encoding: 8bit

On Wed, 28 Feb 2001, jean pierre spagnol wrote:
>Hello
>I have a problem with the predicate "listing". I have a program which
>build a list of clause: regle(A,B,C) :- Body. When I want to store the
>list in a file automatically it is impossible. It seems there are too
>many clauses. Is there a limit size for using the predicate listing. My
>list of rules is about 2000. If there is, how can I solve the problem.

Especially as listing is failure-driven, there should be no limit. 
Possibly there is a clause that is not handled correctly by the
decompiler?  What is the error message?  Is it on a particular clause?
Does listing this one-and-only clause change anything?

>Another question. Is there a limit size for the number of elements in a
>list?

Only the memory-limit of the stack.  If you run out, say global stack, 
use -G10m to het 10 MB instead of the default 4, or -G0 to get as much
as the system can get with a limit of 128MB on 32-bit machines.

	--- Jan

