diff options
author | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-22 16:37:23 +0000 |
---|---|---|
committer | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-22 16:37:23 +0000 |
commit | b1f62daf95818858863af0cfe7138a0acac751b2 (patch) | |
tree | b966df3a39e20c64a75837980a0b637feb2cd4f9 /loader.pl | |
parent | 88841b194dc86c9392a813f9b8b0cf16857acb93 (diff) |
Use the prolog loader to load the repl.
Diffstat (limited to 'loader.pl')
-rw-r--r-- | loader.pl | 17 |
1 files changed, 10 insertions, 7 deletions
@@ -1,19 +1,22 @@ :- module(loader, []). +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) ). + +print_exception(E) :- + write('Caught exception while loading /sys/lib/prolog/repl.pl: '), + write(E), + nl. + load_module_from_file(File) :- - write('Loading file: '), - write(File), - nl, ( atom_concat(_, '.pl', File) -> open(File, read, Stream) ; atom_concat(File, '.pl', File1), open(File1, read, Stream) ), read_and_handle_terms(Stream, user, _), - close(Stream), - write('Loaded file: '), - write(File), - nl. + close(Stream). read_and_handle_terms(Stream, Module0, Module) :- ( read_one_term(Stream, Term) |