home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l210 / 1.ddi / EXAMPLES.ARC / CH05EX07.PRO < prev    next >
Encoding:
Prolog Source  |  1988-06-21  |  563 b   |  27 lines
  1. /*
  2.    Turbo Prolog 2.0 Chapter 5, Example Program 7
  3.    
  4.    Copyright (c) 1986, 88 by Borland International, Inc
  5.    
  6. */
  7.     
  8.  
  9. predicates
  10.    buy_car(symbol, symbol)
  11.    car(symbol, symbol, integer)
  12.    colors(symbol, symbol)
  13.  
  14. clauses
  15.    buy_car(Model, Color) :- 
  16.       car(Model, Color, Price),
  17.       colors(Color, sexy),!,
  18.       Price < 25000.
  19.  
  20.    car(maserati, green, 25000).
  21.    car(corvette, black, 24000).
  22.    car(corvette, red, 26000).
  23.    car(porsche, red, 24000).
  24.    colors(red, sexy).
  25.    colors(black, mean).
  26.    colors(green, preppy).
  27.