diff options
| author | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-22 19:35:53 +0000 |
|---|---|---|
| committer | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-22 19:35:53 +0000 |
| commit | 0f347162b74d945f509955b6c57e506ab800db7b (patch) | |
| tree | a5c5fb36dc632b5e2f387058b8170e0811001af8 /loader.pl | |
| parent | 77c7fea4cee74562ad60c7ce96ca830a7ebda8b7 (diff) | |
Implement halt/0, halt/1, and understand the --no-repl flag
Diffstat (limited to 'loader.pl')
| -rw-r--r-- | loader.pl | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -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: '), |