Repositorios git - scryer-prolog.git/commit

]> Repositorios git - scryer-prolog.git/commit

projects / scryer-prolog.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: a562793) | patch

author	Mark Thom <[email protected]>
	Thu, 27 Jan 2022 00:34:36 +0000 (17:34 -0700)
committer	Mark Thom <[email protected]>
	Thu, 27 Jan 2022 00:34:36 +0000 (17:34 -0700)
commit	142ddcd57ab41cb7ebdbd2924dd84f79314cfe71
tree	dd1b1a79d6935fd2f2c7fc34dd1f0750edcb18d5	tree \| snapshot
parent	a562793fce2f53c45fe00adaaf629ba1cd62dba1	commit \| diff

use expand_goal directly for existential-qualified goals in all-solutions predicates (#1246)

src/lib/builtins.pl

diff | blob | history

FORK: A modern Prolog implementation written mostly in Rust