ax ^ 2 + bx + c类型不等式通过使用prolog完成方形求解

Question

当使用prolog完成square方法求解f(x)=-3x^2+5x-4不等式问题时，如何在不采用浮点值的情况下减去两个分数（例如：4/3 - 25/36）。答案想要成为一个分数。

Answer 1

在SWI-Prolog中，使用有理数：

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

Answer 2

SWI-Prolog实施rational numbers。 我得到了

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