PrologCLP(Q)

示例

CLP(Q)有理数进行推理。

例:

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