2013-03-10 69 views

回答

2

通过与蓄能器的参数的尾递归辅助谓词执行循环:

xsum(K,X,S):- K>=1, zsum(X,1,K,1,0,S). 

zsum(X,I,K,PrevTerm,PrevSum,S):- 
    I=:=K, Term is ________ * X/I, S is _____ + _____. 

zsum(X,I,K,PrevTerm,PrevSum,S):- 
    I < K, Term is ________ * X/I, Sum is _____ + _____, I1 is I+1, 
    zsum(X,I1,K,Term,Sum,S). 

填空。 :)

这些子句是互斥的,所以谓词是确定性的。