summaryrefslogtreecommitdiff
path: root/prolog
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-05-06 12:37:47 +0200
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-05-06 12:37:47 +0200
commit2abd6d93e113886c4fa9d4cdf0c578b5ea11a1fb (patch)
treeacbec9480c282474d3f0a6cc50e0fac8b2e16896 /prolog
parent5547a6a9dfd05bd921c25cb4442c58a2a07ec009 (diff)
Prolog: increase inference limit for test queries
Needed for problems/clp_fd/tobase_3.
Diffstat (limited to 'prolog')
-rw-r--r--prolog/engine.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/prolog/engine.py b/prolog/engine.py
index 3bc6825..e78bacb 100644
--- a/prolog/engine.py
+++ b/prolog/engine.py
@@ -144,7 +144,7 @@ def check_answers(engine, query, answers, timeout=10):
start = time.monotonic()
try:
# Limit inferences for each solution to curb unbounded recursion.
- limited = '''(call_with_inference_limit(({}), 500000, _ILR),
+ limited = '''(call_with_inference_limit(({}), 1000000, _ILR),
_ILR \= inference_limit_exceeded)'''.format(query)
# Run the query.
reply, output = ask(engine, limited, timeout)