Prolog Language Constraint Logic Programming CLP(Q)


Example

CLP(Q) implements reasoning over rational numbers.

Example:

?- { 5/6 = X/2 + 1/3 }.
X = 1.