diff options
author | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-22 17:36:33 +0000 |
---|---|---|
committer | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-22 17:36:33 +0000 |
commit | fd10cf6997473226272b397b0ff6ebd87bd4d161 (patch) | |
tree | e1ca56ba3af58e9a76edd80169e83117694410a7 /repl.pl | |
parent | 463f3b41ac6a17f6fe88f6c114aa849876bfcf4e (diff) |
Fix singleton warnings in repl.pl
Diffstat (limited to 'repl.pl')
-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. |