summaryrefslogtreecommitdiff
path: root/prolog
diff options
context:
space:
mode:
Diffstat (limited to 'prolog')
-rwxr-xr-xprolog/runner/main.pl4
1 files changed, 4 insertions, 0 deletions
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),