diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2018-10-12 23:34:15 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2018-10-12 23:34:15 +0200 |
| commit | 484f2b65dbc55ccda2c6188a55d797791f13ed4f (patch) | |
| tree | f5b0501f03d99095bda5505f0e87d1da442ebc5f | |
| parent | 3eab86dfb1232d46420005f2d0ccccbeaadda59d (diff) | |
| -rw-r--r-- | prolog/runner/sandbox.pl | 6 |
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(_)). |