ax^2+；bx+；用prolog完成平方运算求解c型不等式

当使用prolog完成平方法求解

f（x）=-3x^2+5x-4

不等式组时，如何将两个分数（例如：

4/3-25/36

）按原样减去，而不采用浮点值。答案是一个分数

在SWI Prolog中，使用有理数：

?- X is (4 rdiv 3) - (25 rdiv 36).
X = 23 rdiv 36.

?- X is 4 rdiv 3 - 25 rdiv 36.
X = 23 rdiv 36.

---

在SWI Prolog中，使用有理数：

?- X is (4 rdiv 3) - (25 rdiv 36).
X = 23 rdiv 36.

?- X is 4 rdiv 3 - 25 rdiv 36.
X = 23 rdiv 36.

SWI-Prolog实现。 我明白了

SWI-Prolog实现。 我明白了