%query: mult(i,i,o). %% mult(X, Y, Z) :- X, Y, Z are numerals such that Z is the product of X and Y. %% %TWTYPES :- type mult(nat,nat,nat). mult(_, 0, 0). mult(X, s(Y), Z) :- mult(X, Y, W), sum(W, X, Z). %TWTYPES :- type sum(nat,nat,nat). sum(X, 0, X). sum(X, s(Y), s(Z)) :- sum(X, Y, Z). /*TWDESC mult(X, Y, Z) :- X, Y, Z are numerals such that Z is the product of X and Y. */ /*TWTYPES nat(0). nat(s(X)) :- nat(X). */ /*TWDEMO selected_norms([nat]). query(mult(b,b,f)). query(sum(f,b,f)). query(sum(f,f,b)). */
content may be truncated. 'popout' for larger text window.
