domains product, sum = integer predicates add(sum, sum, sum) multiply(product, product, product) clauses add(X, Y, Sum) :- Sum = X + Y. multiply(X, Y, Product) :- Product = X * Y.