home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l217 / 2.ddi / EXAMPLES / CH04EX01.PRO < prev    next >
Encoding:
Prolog Source  |  1990-03-26  |  290 b   |  14 lines
  1. /*
  2.    Copyright (c) 1986, 90 by Prolog Development Center
  3. */
  4.  
  5. domains
  6.    product, sum = integer
  7.  
  8. predicates
  9.    add_em_up(sum, sum, sum)
  10.    multiply_em(product, product, product)
  11.  
  12. clauses
  13.    add_em_up(X, Y, Sum) :- Sum = X + Y.
  14.    multiply_em(X, Y, Product) :- Product = X * Y.