如何在Prolog中为牛顿法谓词调用自定义函数谓词赋值？

你只需要把原来用is直接内嵌表达式的部分，替换成调用你定义的f/2和f_prime/2谓词即可——Prolog里没有函数返回值的概念，而是通过变量绑定来传递计算结果。

修改后的完整newton谓词代码如下：

newton(0,_).
newton(N,X) :-
    N > 0,
    write(X), nl,
    f(X, Y),          % 调用自定义谓词计算f(X)的值，结果绑定到Y
    f_prime(X, Y_prime),  % 调用自定义谓词计算导数值，结果绑定到Y_prime
    X_new is X - Y / Y_prime,
    S is N-1,
    newton(S,X_new).

搭配你定义的f/2和f_prime/2谓词：

f(X,Y):-
    Y is 3*(X*X*X) - (X*X) + 6.
f_prime(X,Y):-
    Y is 6*(X*X) - 2*X.

调用newton(10, 2).就能正常运行了。

核心逻辑：当你调用f(X, Y)时，Prolog会执行谓词体里的Y is ...计算逻辑，把最终结果绑定到变量Y上，后续代码可以直接使用这个变量的值。这种写法完全贴合Prolog基于谓词和变量绑定的编程范式，替代了你之前直接内嵌表达式的实现方式。

内容的提问来源于stack exchange，提问作者D. Brito