mndrix / sweet

Sugar to make Prolog a little sweeter
The Unlicense
6 stars 0 forks source link

X in Lower .. Upper #6

Open mndrix opened 10 years ago

mndrix commented 10 years ago

The predicate between/3 is very popular. It's great for looping constructs and bounds checking. I want X in Lower .. Upper to be an alias for between(Lower,Upper,X). When all three parts are ground, I also want it to support other numeric types. between/3 only supports integers.

Export op(450, xfx, ..). This is the same definition as library(clpfd).