Markus Triska
24e6c31c44
add meta_predicate declaration for with_local_attributes/3
...
This is needed for all_distinct/1 etc.
Example:
?- all_distinct([X,Y,Z]).
clpz:all_distinct([X,Y,Z])
; false.
2021-02-03 23:45:21 +01:00
Markus Triska
ae66e299e6
Use term expansion for generated predicates.
2021-02-03 15:21:39 -07:00
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
