[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

source code limits

From: Fred Bapst
Subject: source code limits
Date: Fri, 26 Jun 2015 10:22:44 +0200
User-agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:31.0) Gecko/20100101 Thunderbird/31.7.0

Before trying to discover the details by myself, I was wondering whether someone
has an idea of the actual limits concerning the following aspects of Prolog
input files (ours are automatically generated by a translator; we try to attack
fd optimization problems with thousands of boolean variables and constraints):

- maximal size of list literals ([a,b,c,d...])
- maximal number of goals in a rule body
- maximal number variables appearing in a rule
- maximal number of fd variables
- maximal size of expressions inside constraints (3*A+4*B+2*C+...#<Z)
- maximal number of constraints
- maximal arity of a term

I bet those limits correspond to some constants/macros in the sources of
gprolog; it would be great to point us to the right place, so that we can adapt
and rebuild our own version.

Thanks in advance.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]