From: Markus Triska <triska@metalevel.at>
Date: Tue, 5 Sep 2023 17:39:05 +0000 (+0200)
Subject: FIXED: countall/2 for zero solutions (#1996)
X-Git-Tag: remove~113^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=d54c3369b3812ce2071b7676a035732fe864fce4;p=scryer-prolog.git

FIXED: countall/2 for zero solutions (#1996)

Example:

    ?- countall(false, 0).
       true.
---

diff --git a/src/lib/iso_ext.pl b/src/lib/iso_ext.pl
index 0a5798ae..b6863487 100644
--- a/src/lib/iso_ext.pl
+++ b/src/lib/iso_ext.pl
@@ -370,7 +370,7 @@ countall(Goal, N) :-
     (   integer(N) ->
         (   N < 0 ->
             domain_error(not_less_than_zero, N, countall/2)
-        ;   N > 0
+        ;   true
         )
     ;   true
     ),