1. StackOverflow 文档
2. Prolog Language 教程
3. 约束逻辑编程
4. CLP(Q)

CLP(Q)

Created: November-22, 2018

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

例：

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

• CLP(H)
• CLP(FD)