summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2018-10-12 23:34:15 +0200
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2018-10-12 23:34:15 +0200
commit484f2b65dbc55ccda2c6188a55d797791f13ed4f (patch)
treef5b0501f03d99095bda5505f0e87d1da442ebc5f
parent3eab86dfb1232d46420005f2d0ccccbeaadda59d (diff)
Update sandbox for updated SWI-PrologHEADreleasemaster
-rw-r--r--prolog/runner/sandbox.pl6
1 files changed, 6 insertions, 0 deletions
diff --git a/prolog/runner/sandbox.pl b/prolog/runner/sandbox.pl
index 997a571..d1a2593 100644
--- a/prolog/runner/sandbox.pl
+++ b/prolog/runner/sandbox.pl
@@ -1,5 +1,11 @@
:- multifile sandbox:safe_primitive/1.
+% needed for call_with_inference_limit/3
+sandbox:safe_primitive(system:'$inference_limit'(_,_)).
+sandbox:safe_primitive(system:'$inference_limit_except'(_,_,_)).
+sandbox:safe_primitive(system:'$inference_limit_false'(_)).
+sandbox:safe_primitive(system:'$inference_limit_true'(_,_,_)).
+
% needed for algol problems
% TODO find a better way
sandbox:safe_primitive(call(_)).