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)