home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l217 / 2.ddi / EXAMPLES / CH03EX02.PRO < prev    next >
Encoding:
Prolog Source  |  1990-03-26  |  478 b   |  31 lines
  1. /*
  2.    Copyright (c) 1986, 90 by Prolog Development Center
  3. */
  4.    
  5. predicates
  6.    can_buy(symbol, symbol)
  7.    person(symbol)
  8.    car(symbol)
  9.    likes(symbol, symbol)
  10.    for_sale(symbol)
  11.  
  12. clauses
  13.    can_buy(X, Y) :-
  14.     person(X),
  15.     car(Y),
  16.     likes(X, Y),
  17.        for_sale(Y).
  18.    
  19.    person(kelly).
  20.    person(judy).
  21.  
  22.    car(lemon).
  23.    car(hot_rod).
  24.  
  25.    likes(kelly, hot_rod).
  26.    likes(judy, pizza).
  27.  
  28.    for_sale(pizza).
  29.    for_sale(lemon).
  30.    for_sale(hot_rod).
  31.