prolog - s() 谓词在 Prolog 中有什么作用？

Question

我一直在尝试学习 Prolog，并且完全被谓词 s() 的作用所困扰。
我看到它经常被使用，而且互联网上关于 Prolog 的资源太少，我找不到答案。

前任。

    /* sum(Is,S) is true if S is the sum of the list of integers Is.           */
    sum([],0).
    sum([0|Is],S):-sum(Is,S).
    sum([s(I)|Is], s(Z) ):-sum([I|Is],Z).

Answer 1

s/1它本身不做任何事情，也不是真正的谓词。它们只是术语，是其论点的后继者的代表。所以，s(0)用于表示0的后继者(即 1)、s(s(0))用于表示s(0)的后继者(即 2 )，依此类推。它们在 Prolog 中如此广泛，因为 Prolog 是一种非常好的执行符号计算的语言，而即使是简单的算术运算也感觉很笨拙，这意味着它们没有与编程范式无缝集成。