prolog - Prolog中谓词名称后的斜杠是什么意思?

标签 prolog predicate

我已经读过what does slash(/) do in prolog?What is the meaning of predicate “simple/1” in Prolog (SWI-Prolog)这样的问题,但是这些链接似乎对我没有帮助。

我正在浏览Prolog上的一些初学者教程。
Solve/4Go/1这样的短语使我感到困惑。斜线和数字是什么意思?

最佳答案

它是函数在其签名中期望的参数数量。请注意infix运算符,即使它们被调用的方式是将它们放在参数之间,它们也可以接受多个参数。也就是说,您可以将诸如普通加法+之类的内容视为二进制运算符。因此A+B实际上与+(A,B)相同,这意味着您将使用+定义+/2

关于prolog - Prolog中谓词名称后的斜杠是什么意思?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/12935552/

相关文章:

iphone - 使用谓词对核心数据进行排序以消除重复

Prolog 子句单独终止,但不一起终止

prolog - 从 reply_html_page 中删除元数据

list - Erlang 中的映射函数

prolog - HiLog 术语在现代 Prolog 中仍然有用吗?

ios - NSFastEnumerationIterator.Element(又名 Any)没有下标成员

c++ - std::map 排序谓词按字符串大小排序但保留不同的字符串?

jpa - 如何使用谓词过滤子实体集合?

Prolog 程序返回命题公式中的原子

java - 从嵌套结构中删除谓词(google guava 谓词)