我已经读过SO问题斜杠(/)在prolog中做了什么？而什么是序言(SWI-Prolog的)谓词"简单/ 1"的含义,但这些链接似乎并没有帮助我.
我正在学习一些关于Prolog的初学者教程.短语喜欢Solve/4或Go/1困惑我.这个斜线和数字是什么意思？
ely*_*ely 13
它是函数在其签名中期望的参数数量.注意中缀运算符,它可以接受多个参数,即使它们被调用的方式是将它们放在参数之间.也就是说,你可以想到像普通加法这样的东西+,作为二元运算符.所以,A+B真的是一样的+(A,B),这意味着你将定义+有+/2.