ref: fd10cf6997473226272b397b0ff6ebd87bd4d161
parent: 463f3b41ac6a17f6fe88f6c114aa849876bfcf4e
author: Peter Mikkelsen <[email protected]>
date: Thu Jul 22 13:36:33 EDT 2021
Fix singleton warnings in repl.pl
--- 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 @@
)
; write_result(Vars, end)
).
-eval_and_print(Goal, _, _) :-
+eval_and_print(_, _, _) :-
\+ found_a_solution,
write('false .'),nl.