Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!news.mathworks.com!news.kei.com!bloom-beacon.mit.edu!gatech!howland.reston.ans.net!EU.net!Germany.EU.net!eso.org!Munich.Germany.EU.net!ecrc!news
From: micha@ecrc.de (Micha Meier)
Subject: Re: environment sizes
Message-ID: <D7xz0A.8Hv@ecrc.de>
Sender: news@ecrc.de
Reply-To: micha@ecrc.de
Organization: European Computer-Industry Research Centre
References: <3nig9q$nrp@godzilla.zeta.org.au>
Date: Tue, 2 May 1995 08:16:57 GMT
Lines: 23

In article nrp@godzilla.zeta.org.au, pgmart@godzilla.zeta.org.au (pgmart) writes:
> This is a simple question involving memory quota allocation:
> In your experience as Prolog programmers, what is the largest number of
> variables you have ever used in one clause (env/frame), or that your
> particular system has handled efficiently?
> i.e. is a limit of 1000 too big or too small?
> Would you consider a compilation output or assertion that limited the
> number of variables to 1000 unworkable?

The largest clause I have seen had about 25000 variables. I don't think it is
a good idea to put low limits on the number of variables. If you mean it
seriously with your Prolog system, you should allow at least 100000 variables.

--Micha


---
Micha Meier			------------------------------------------------
ECRC, Arabellastr. 17		The opinions expressed above are private
D-81925 Munich 81		and may not reflect those of my employer.
micha@ecrc.de, Tel. +49-89-92699-108, Fax  +49-89-92699-170


