summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--repl.pl4
1 files changed, 2 insertions, 2 deletions
diff --git a/repl.pl b/repl.pl
index 92cdffd..0bb279f 100644
--- a/repl.pl
+++ b/repl.pl
@@ -1,6 +1,6 @@
:- module(repl, []).
-repl([ProgName|Args]) :-
+repl([_ProgName|Args]) :-
write('Welcome to p-prolog version 1.'),
nl,
write('Started with args: '),
@@ -55,7 +55,7 @@ eval_and_print(Goal, Vars0, Choicecount) :-
)
; write_result(Vars, end)
).
-eval_and_print(Goal, _, _) :-
+eval_and_print(_, _, _) :-
\+ found_a_solution,
write('false .'),
nl.