home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l217 / 2.ddi / EXAMPLES / CH05EX02.PRO < prev    next >
Encoding:
Prolog Source  |  1990-03-26  |  326 b   |  18 lines
  1. /*
  2.    Copyright (c) 1986, 90 by Prolog Development Center
  3. */
  4.    
  5. predicates
  6.    likes(symbol,symbol)
  7.    tastes(symbol,symbol)
  8.    food(symbol)
  9.    
  10. clauses
  11.    likes(bill, X) :-
  12.       food(X), tastes(X, good).
  13.  
  14.    tastes(pizza, good).
  15.    tastes(brussels_sprouts, bad).
  16.  
  17.    food(brussels_sprouts).
  18.    food(pizza).