]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5585e83) | patch
FIXED: countall/2 for zero solutions (#1996)
authorMarkus Triska <[email protected]>
Tue, 5 Sep 2023 17:39:05 +0000 (19:39 +0200)
committerMarkus Triska <[email protected]>
Tue, 5 Sep 2023 17:39:05 +0000 (19:39 +0200)
commitd54c3369b3812ce2071b7676a035732fe864fce4
tree164b0c29e3319fc9b4461eea99b19b0c2c2d736etree | snapshot
parent5585e83fd692f4b04d4b4a9dcb7b7b220f887df2commit | diff
FIXED: countall/2 for zero solutions (#1996)

Example:

    ?- countall(false, 0).
       true.
src/lib/iso_ext.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust