我想宣布一个！将用于计算Integer的facorial的运算符。
我在文件中有这个代码。
:- 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，！）来声明一个operetor。为什么这个解决方案不起作用我的意思是它看起来像是math_function没有注册我的！功能
当我尝试5！我得到
错误：未定义的程序：（！）/ 1 错误：但是，有以下定义： 错误：（！）/ 0 错误：（！）/ 2 假的。
答案 0 :(得分：1)
你只是忘记了Prolog中的算法是通过is / 2引入的。
?- X is 6! + 1.
X = 721.