claimr 0.1.0

Claimr — a constraint logic programming language, Prolog III inspired, parsed with a rustemo-generated LR parser.
1
2
3
4
5
6

?- sum(1, 2, S).
S = 3
?- average(3, 4, A), { A >= 7/2 }.
A = 7/2
?- discounted(100, D), { -D < -50 }.
D = 90