]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 81913a5) | patch
ENHANCED: Enable goal expansion for CLP(ℤ).
authorMarkus Triska <[email protected]>
Fri, 5 Feb 2021 20:06:08 +0000 (21:06 +0100)
committerMarkus Triska <[email protected]>
Fri, 5 Feb 2021 20:06:08 +0000 (21:06 +0100)
commita228e46a393015546d6993e59bf178739c028aa6
tree39041ca89aedc6607b333d3b79db9d897ce0c326tree | snapshot
parent81913a598721c2d7994e3b96ff72977fb0528f18commit | diff
ENHANCED: Enable goal expansion for CLP(ℤ).

This is now possible since #445 is resolved.
src/lib/clpz.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust