prolog - 将 sin 函数的答案分配给序言中的 sin(X) 项

Question

我编写了一个 Prolog 程序来求解简单的三角方程。我写它是为了获取三角函数的值。例如，我可以获得 sin(45) 的值，但我无法将 sin(45) 的值赋给术语 sin(45 )。我尝试了 =,==,=:= 运算符，但它们没有用。实际上，我想将 sin(45) 的值传递给程序的下一个代码，而不是术语 sin(45)。谢谢...

Answer 1

算术是由一些专门的内置函数执行的，比如 is/2 或 (<)/2，它们将右手项计算为 表达式，并将数值与左手边统一起来。最常见的用法是为自由变量赋值，如

?- X is sin(pi/2).
X = 1.0.

请注意 sin/1 的参数，它的单位是弧度。评估后，您将变量(现在绑定(bind)到一个数值)传递到下一个代码。