home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l210 / 1.ddi / EXAMPLES.ARC / CH04EX01.PRO < prev    next >
Encoding:
Prolog Source  |  1988-06-21  |  350 b   |  17 lines
  1. /*
  2.    Turbo Prolog 2.0 Chapter 4, Example Program 1
  3.    
  4.    Copyright (c) 1986, 88 by Borland International, Inc
  5.    
  6. */
  7.  
  8. domains
  9.    product, sum = integer
  10.  
  11. predicates
  12.    add_em_up(sum, sum, sum)
  13.    multiply_em(product, product, product)
  14.  
  15. clauses
  16.    add_em_up(X, Y, Sum) :- Sum = X + Y.
  17.    multiply_em(X, Y, Product) :- Product = X * Y.