]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c9ecfb1) | patch
FIXED: Take all variables into account during goal projection.
authorMarkus Triska <[email protected]>
Wed, 8 Mar 2023 20:16:54 +0000 (21:16 +0100)
committerMarkus Triska <[email protected]>
Wed, 8 Mar 2023 20:16:54 +0000 (21:16 +0100)
commit884b0ca10eac28e300dbfddb1455f3cfd7ad0aa6
treec793e60258711b9197b331d6a4504aca6960763ftree | snapshot
parentc9ecfb11d9d2c39eb519d42f8d24cc51b2d4475ecommit | diff
FIXED: Take all variables into account during goal projection.

This addresses #1751.
src/lib/dif.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust