]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7d2e59a) | patch
remove residual goal for ground BDD
authorMarkus Triska <[email protected]>
Sun, 23 Apr 2023 07:20:46 +0000 (09:20 +0200)
committerMarkus Triska <[email protected]>
Sun, 23 Apr 2023 07:23:00 +0000 (09:23 +0200)
commit2a1b8f37eca21a80ad22b22dc23304379e3d77c5
tree8ce7881a7b8dfc0ddb7c0e1edd8a34960a1abfb4tree | snapshot
parent7d2e59ab64fd36ee90195b61a3b6bceb071576a0commit | diff
remove residual goal for ground BDD

Example:

    ?- sat(X).
       X = 1.
src/lib/clpb.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust