home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l217 / 2.ddi / EXAMPLES / CH05EX08.PRO < prev    next >
Encoding:
Prolog Source  |  1990-03-26  |  431 b   |  22 lines
  1. /*
  2.    Copyright (c) 1986, 90 by Prolog Development Center
  3. */
  4.    
  5. predicates
  6.    friend(symbol, symbol)
  7.    girl(symbol)
  8.    likes(symbol, symbol)
  9.  
  10. clauses
  11.    friend(bill, jane) :- 
  12.       girl(jane),  likes(bill, jane), !.
  13.    friend(bill, jim)  :- 
  14.       likes(jim, baseball), !.
  15.    friend(bill, sue)  :- 
  16.       girl(sue).
  17.    girl(mary).
  18.    girl(jane).
  19.    girl(sue).
  20.    likes(jim, baseball).
  21.    likes(bill, sue).
  22.