From 0f347162b74d945f509955b6c57e506ab800db7b Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Thu, 22 Jul 2021 19:35:53 +0000 Subject: Implement halt/0, halt/1, and understand the --no-repl flag --- loader.pl | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'loader.pl') diff --git a/loader.pl b/loader.pl index 0a9f8df..99478d0 100644 --- a/loader.pl +++ b/loader.pl @@ -2,7 +2,10 @@ start(Args) :- catch((load_module_from_file('/sys/lib/prolog/repl.pl'), ReplLoaded = true), E, (print_exception(E), ReplLoaded = false)), - ( ReplLoaded = true-> repl:repl(Args) ). + !, + ( ReplLoaded = true + -> repl:repl(Args) + ). print_exception(E) :- write('Caught exception while loading /sys/lib/prolog/repl.pl: '), -- cgit v1.2.3