home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l217 / 2.ddi / EXAMPLES / CH04EX02.PRO < prev    next >
Encoding:
Prolog Source  |  1990-03-26  |  332 b   |  17 lines
  1. /*
  2.    Copyright (c) 1986, 90 by Prolog Development Center
  3. */
  4.  
  5. domains
  6.    brand, color = symbol
  7.    age, price = integer
  8.    mileage = real
  9.  
  10. predicates
  11.    car(brand, mileage, age, color, price)
  12.  
  13. clauses
  14.    car(chrysler, 130000, 3, red, 12000).
  15.    car(ford, 90000, 4, gray, 25000).
  16.    car(datsun, 8000, 1, red, 30000).
  17.