Prolog定义我自己的运算符和arithmetic_function

Question

我想宣布一个！将用于计算整数阶乘的运算符。

我在文件中有这段代码。

:- arithmetic_function(!/1).

!(X,Y):-sil(X,1,Y).
sil(0,X,X):-!.
sil(N,A,X):-A1 is A*N,N1 is N-1,sil(N1,A1,X).

我使用op(500，yf，!)宣布为歌剧演员。为什么这个解决方案不起作用我的意思是它看起来像是arithmetic_function没有注册我的！函数。

当我尝试5的时候！我得到了

错误:未定义的过程：(!)/1错误:但是，存在以下定义: ERROR：(!)/0 ERROR：(!)/2 false。

Answer 1

你只是忘记了，在Prolog中的算法是通过is/2引入的。

?- X is 6! + 1.
X = 721.