home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l210 / 1.ddi / EXAMPLES.ARC / CH04EX02.PRO < prev    next >
Encoding:
Prolog Source  |  1988-06-21  |  392 b   |  20 lines
  1. /*
  2.    Turbo Prolog 2.0 Chapter 4, Example Program 2
  3.    
  4.    Copyright (c) 1986, 88 by Borland International, Inc
  5.    
  6. */
  7.  
  8. domains
  9.    brand, color = symbol
  10.    age, price = integer
  11.    mileage = real
  12.  
  13. predicates
  14.    car(brand, mileage, age, color, price)
  15.  
  16. clauses
  17.    car(chrysler, 130000, 3, red, 12000).
  18.    car(ford, 90000, 4, gray, 25000).
  19.    car(datsun, 8000, 1, red, 30000).
  20.