]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 98f9027) | patch
add de facto standard forall/2 predicate as a built-in predicate
authorPaulo Moura <[email protected]>
Wed, 3 Apr 2019 10:58:29 +0000 (11:58 +0100)
committerPaulo Moura <[email protected]>
Wed, 3 Apr 2019 10:58:29 +0000 (11:58 +0100)
commit785d8d28e3202a24e8c69363329247235b24a0ec
tree501c5e618fb966da70e85a45cdfbd74d57bf8907tree | snapshot
parent98f9027b2e1ac293b3c0b757f9f3a718430e5795commit | diff
add de facto standard forall/2 predicate as a built-in predicate
README.md diff | blob | history
src/prolog/lib/builtins.pl diff | blob | history
src/tests.rs diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust