From c325eca1f275c5d3ad5248e2965122b7e26a5e2c Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Wed, 18 Nov 2015 11:34:57 +0100 Subject: Disable predicate autoloading in Prolog engine So that for example append/3 and member/2 are not accessible to users when solving conc/3 and memb/2. --- prolog/runner/main.pl | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'prolog/runner') diff --git a/prolog/runner/main.pl b/prolog/runner/main.pl index 303cb26..d945f51 100755 --- a/prolog/runner/main.pl +++ b/prolog/runner/main.pl @@ -19,6 +19,10 @@ prolog:error_message(time_limit_exceeded) --> :- set_setting(pengine_sandbox:time_limit, 5.0). :- set_setting(pengine_sandbox:thread_pool_size, 50). +% Load required predicates then disable autoloading. +:- autoload([verbose(false)]). +:- set_prolog_flag(autoload, false). + % Start the server. :- http_server(http_dispatch, [port(3030), -- cgit v1.2.1