prolog - 为什么我的规则不能求解简单代数方程中的 X？

Question

我是 Prolog 的新手，所以请保持温柔。

这是我的规则:

solve(X) :- A = B, A is (7 * (X - 2)), B is (3 * (X + 4)).

显然，这里的正确答案是 6.5。如果我将其提供给 Prolog，它会确认:

| ?- solve(6.5).

yes

但是，如果我要求 Prolog 执行脏活，它会抛出一个错误:

| ?- solve(X).
uncaught exception: error(instantiation_error,(is)/2)

我完全承认这里发生的一切都是由于我对 Prolog 的误解。有人可以向我解释我如何使它起作用或为什么它不起作用吗？

Answer 1

在 Prolog 中，is 是算术运算符。它计算右侧表达式的结果，并将其分配给左侧的变量。

要评估的表达式必须仅包含数字和算术运算符/函数。换句话说，要计算一个表达式，is 必须已经知道其中的所有数字。

另一种说法是 is is "unidirectional" ，不像 = 是双向的。这是你所期望的。这就是您收到的错误的含义。

求解此类方程式 - 约束 - 是 constraint solver 的工作.