109 Commits

Author	SHA1	Message	Date
Markus Triska	41a751e7f5	ADDED: Provisional support for (#=)/3 and (#<)/3. ... These predicates are intended for constructs from library(reif), such as if_/3. For the time being, they are defined here. If you have any recommendations or comments regarding the best location of these predicates, or need more of them, please file an issue. Suggested by @Qqwy in https://github.com/triska/clpz/issues/12. Many thanks!	2020-11-08 09:26:50 +01:00
notoria	0724c044d6	Use nonterminal fd_put//3 in mod from clpz	2020-08-15 17:56:07 +02:00
notoria	bed4afe74f	Simplified the code	2020-08-15 17:39:34 +02:00
notoria	d4263cc8b9	Using queue_goal//1 to correctly bind variables	2020-08-15 17:06:12 +02:00
notoria	b4b11465a1	Fixed variable bindings in mod from clpz	2020-08-15 13:37:33 +02:00
notoria	daaebc59cb	Made mod stronger and addressed #675	2020-08-15 12:53:28 +02:00
notoria	314baabf1d	More improvement on mod from CLP(Z)	2020-08-13 21:36:36 +02:00
notoria	a24fbb8f61	Improved mod in CLP(Z) ... This is still a work in progress.	2020-08-13 10:33:36 +02:00
Mark Thom	33325f1574	remove vestigial prolog/ directory (#444)	2020-06-12 18:26:38 -06:00