clpz
clpz copied to clipboard
triska
Constraint Logic Programming over Integers
Currently, I'm using clpz with sicstus and not scryer. I see that there are many enhancements being done in the scryer fork but not in this repo. https://github.com/mthom/scryer-prolog/pulls?q=is%3Apr+clpz I understood...
Copies commits made by @notoria in Scryer to improve `mod`. List of commits: - [a24fbb8f61dc7b6138f62ad70ec47fb7a69284b7](https://github.com/mthom/scryer-prolog/commit/a24fbb8f61dc7b6138f62ad70ec47fb7a69284b7) - [314baabf1d1d54345e8c8596ef369ee4b2c4d693](https://github.com/mthom/scryer-prolog/commit/314baabf1d1d54345e8c8596ef369ee4b2c4d693) - [79a74038ac61102e95df1d8200f145b9d6e81157](https://github.com/mthom/scryer-prolog/commit/79a74038ac61102e95df1d8200f145b9d6e81157) - [daaebc59cb7454e4bb79236da27b9d3a565eef78](https://github.com/mthom/scryer-prolog/commit/daaebc59cb7454e4bb79236da27b9d3a565eef78) - [b4b11465a13bfc8b3dab4304feb8a78b3743a260](https://github.com/mthom/scryer-prolog/commit/b4b11465a13bfc8b3dab4304feb8a78b3743a260) - [d4263cc8b91d24501f35c5e87ef67a77fb4cbd12](https://github.com/mthom/scryer-prolog/commit/d4263cc8b91d24501f35c5e87ef67a77fb4cbd12) - [bed4afe74f127b2cd224ed3ba21b2baaa1e3b7c2](https://github.com/mthom/scryer-prolog/commit/bed4afe74f127b2cd224ed3ba21b2baaa1e3b7c2) - [0724c044d67028dccaa2e0454dc9df24624656f1](https://github.com/mthom/scryer-prolog/commit/0724c044d67028dccaa2e0454dc9df24624656f1) I...
Fixes #27 _Please review as I do make mistakes sometimes!_ https://github.com/mthom/scryer-prolog/pull/420
I've found that we have a situation where unification could fail if a custom attribute is added before a clpz constraint is posted. Consider this code ```prolog :- use_module(library(atts)). :-...
It would be nice if `global_cardinality/3` supported CLP(Z) variables as keys. This would allow one to express more general permutations without needing to know the values of the list (e.g....
Syntax usage was outdated (since clpfd days). It took me quite some head scratcing to realise that `run_propagator` extensions should be a dcg rule nowadays!
``` ?- X #= sign(-10). caught: error(domain_error(clpz_expression,sign(-10)),unknown(sign(-10))-1) ``` Expected: `X = -1.` See also [this comment](https://stackoverflow.com/questions/31870437/how-can-i-define-a-new-operator-in-prolog/31870617#comment51673444_31870617).
