summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-02-23 11:29:23 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-02-23 11:29:23 +0100
commitd4c0ad8fa1d033eb92e38a2cd9554bf5d1c1bd45 (patch)
treec5193df4497ebb9d0564e2f7ace21d77026b98be
parent8d337459fd646b6558669bc7da08d611cc12027a (diff)
Prolog engine: allow lists predicates in sandbox
-rwxr-xr-xprolog/runner/daemon.pl2
-rwxr-xr-xprolog/runner/main.pl2
2 files changed, 4 insertions, 0 deletions
diff --git a/prolog/runner/daemon.pl b/prolog/runner/daemon.pl
index 0be3d9e..c482282 100755
--- a/prolog/runner/daemon.pl
+++ b/prolog/runner/daemon.pl
@@ -27,6 +27,8 @@ along with this program. If not, see <http://www.gnu.org/licenses/>. */
:- use_module(library(clpfd)).
:- use_module(library(clpr)).
+:- use_module(library(lists)).
+
:- consult(sandbox).
:- multifile prolog:error_message/3.
diff --git a/prolog/runner/main.pl b/prolog/runner/main.pl
index 2aa7f5c..3c324c8 100755
--- a/prolog/runner/main.pl
+++ b/prolog/runner/main.pl
@@ -26,6 +26,8 @@ along with this program. If not, see <http://www.gnu.org/licenses/>. */
:- use_module(library(clpfd)).
:- use_module(library(clpr)).
+:- use_module(library(lists)).
+
:- consult(sandbox).
:- multifile prolog:error_message/3.