Prolog中的返回值

Question

我发现Prolog中的某些“函数”会返回一些值，例如min / 2和max / 2等，即使绝大多数只返回true或false。这些调用或分组是否与布尔值不同？此外，如何确定他们是否返回除了浏览每个函数的文档之外的值。我可以找到一些返回某些值的函数列表吗？

Answer 1

WKWebView，public function rules() { return [ 'name' => 'required', 'color_id' => 'required|exists:colors', ]; } ，min等操作具体为arithmetic functions，与标准谓词不同。它们使用max，log等进行评估。标准谓词不会返回值，甚至不是true或false。他们成功或失败。这与返回值不同。将函数作为函数返回意味着您可以在变量中捕获该值，但是谓词中没有返回true / false数据。 Prolog解释器只显示真或假，让你知道它是否成功。一些解释器可能分别输出yes或no而不是true或false。

为了知道给定的术语是谓词还是函数，上面引用的文档是你最好的选择，因为它列出了所有有效的算术函数。这一切都在一个地方，所以并不那么困难。功能仅适用于数字。例如，您还可以使用文档中所述的is/2来确定Head是否是可评估的函数。