several corrections to test cases

2021-12-01 19:43:15 +01:00
parent 7abdade7c1
commit ee054fd99c
2 changed files with 18 additions and 18 deletions
--- a/src/tests/rules.pl
+++ b/src/tests/rules.pl
@@ -48,7 +48,7 @@ test_queries_on_rules :-
    \+ \+ retract((p(f(f(a), g(b), X), g(b), h) :- q(X, _))),
    \+ \+ assertz((p(_, f(_, Y, _)) :- h(Y))),
    assertz(h(y)),
-    \+ \+ findall(Y, p(_, f(_, Y, _)), [y]).
+    \+ \+ findall(Y, p(_, f(_, Y, _)), [y]),
    p(_, f(_, y, _)),
    \+ p(_, f(_, z, _)),
    \+ \+ retract((p(_, f(_, Y, _)) :- h(Y))),