diff options
-rw-r--r-- | repl.pl | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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. |