summaryrefslogtreecommitdiff
path: root/repl.pl
diff options
context:
space:
mode:
authorPeter Mikkelsen <peter@pmikkelsen.com>2021-07-16 15:36:42 +0000
committerPeter Mikkelsen <peter@pmikkelsen.com>2021-07-16 15:36:42 +0000
commit8ef27e2fe652a8b29a8b57589863f2f2b45f9425 (patch)
tree94d0294034fb746796e771b6f7e538b2a0f2207c /repl.pl
parent480de114963ecee700ece5b8793916726c04b9ab (diff)
Pass arguments to repl/1
Diffstat (limited to 'repl.pl')
-rw-r--r--repl.pl12
1 files changed, 10 insertions, 2 deletions
diff --git a/repl.pl b/repl.pl
index eb272a9..60521df 100644
--- a/repl.pl
+++ b/repl.pl
@@ -1,9 +1,17 @@
:- module(repl, []).
-repl :-
+repl(Args) :-
+ write('Welcome to p-prolog version 1'),
+ nl,
+ write('Started with args: '),
+ write(Args),
+ nl,
+ repl_loop.
+
+repl_loop :-
catch(read_eval_print, E, print_exception(E)),
'$collect_garbage',
- repl.
+ repl_loop.
read_eval_print :-
write('?- '),