diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-23 11:29:23 +0100 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-23 11:29:23 +0100 |
| commit | d4c0ad8fa1d033eb92e38a2cd9554bf5d1c1bd45 (patch) | |
| tree | c5193df4497ebb9d0564e2f7ace21d77026b98be /prolog | |
| parent | 8d337459fd646b6558669bc7da08d611cc12027a (diff) | |
Prolog engine: allow lists predicates in sandbox
Diffstat (limited to 'prolog')
| -rwxr-xr-x | prolog/runner/daemon.pl | 2 | ||||
| -rwxr-xr-x | prolog/runner/main.pl | 2 |
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. |