search

s-webber / projog

Prolog programming for the Java platform.
Apache License 2.0
37 stars 9 forks source link

upgrade to projog-clp 0.3.0 #215

Closed s-webber closed 1 year ago

s-webber commented 1 year ago

Upgrade to projog-clp version 0.3.0.

This will provide support for min, max and // in CLP expressions. Examples:

?- 9 #= 27 // X.

X = 3
?- 9 #= X // 3, label([X]).

X = 27

yes

X = 28

yes

X = 29

yes

no
?- W in 1..3, X in 2..4, Y #= min(W,X), Z #= max(W,X), label([W,X,Y,Z]).

W = 1
X = 2
Y = 1
Z = 2

yes

W = 1
X = 3
Y = 1
Z = 3

yes

W = 1
X = 4
Y = 1
Z = 4

yes

W = 2
X = 2
Y = 2
Z = 2

yes

W = 2
X = 3
Y = 2
Z = 3

yes

W = 2
X = 4
Y = 2
Z = 4

yes

W = 3
X = 2
Y = 2
Z = 3

yes

W = 3
X = 3
Y = 3
Z = 3

yes

W = 3
X = 4
Y = 3
Z = 4

yes

no