]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 39aebd7) | patch
Fix subsumes_term/2 predicate to use unify_with_occurs_check/2 instead of (=)/2
authorPaulo Moura <[email protected]>
Wed, 12 May 2021 19:02:09 +0000 (20:02 +0100)
committerPaulo Moura <[email protected]>
Wed, 12 May 2021 19:02:09 +0000 (20:02 +0100)
commit4fd33b015e0ec9cfa1825df6a1f6d5571dbdf114
tree64315f86f3251e1a0f354194ccb54f4b1fd0087dtree | snapshot
parent39aebd7144fa4e1a684d04f90eb1bd8dadf26069commit | diff
Fix subsumes_term/2 predicate to use unify_with_occurs_check/2 instead of (=)/2
src/lib/builtins.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust