小编oki*_*n33的帖子

我一直在努力学习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).