Hi,
I think there's a small problem with the semantic predicate of the range rule:
range :a :b =
anything:x ?[a <= x & x <= b] -> [x]
A pair of parenthesis fixes the problem:
range :a :b =
anything:x ?[a <= x &
(
x <= b
)
] -> [x]
Thanks,
Doug