rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

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

Browse Source 
Example:

    ?- countall(false, 0).
       true.
This commit is contained in:
Markus Triska
2023-09-05 19:39:05 +02:00
parent 5585e83fd6
commit d54c3369b3
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/lib/iso_ext.pl
View File

@@ -370,7 +370,7 @@ countall(Goal, N) :-
( integer(N) -> ( integer(N) ->
( N < 0 -> ( N < 0 ->
domain_error(not_less_than_zero, N, countall/2) domain_error(not_less_than_zero, N, countall/2)
; N > 0 ; true
) )
; true ; true
), ),