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/runner/main.pl | |
parent | 8d337459fd646b6558669bc7da08d611cc12027a (diff) |
Prolog engine: allow lists predicates in sandbox
Diffstat (limited to 'prolog/runner/main.pl')
-rwxr-xr-x | prolog/runner/main.pl | 2 |
1 files changed, 2 insertions, 0 deletions
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. |