Create adorned clauses for s and compute Pauu (see Theorem 4). ... add(X,Y,Z). mod(s(X),s(X),0). mod(X,s(Y),X) :− less(X,s(Y)). mod(X,s(Y),M) :− less(s(Y) ...
確定! 回上一頁