home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l210 / 1.ddi / EXAMPLES.ARC / CH05EX08.PRO < prev    next >
Encoding:
Prolog Source  |  1988-06-21  |  491 b   |  25 lines
  1. /*
  2.    Turbo Prolog 2.0 Chapter 5, Example Program 8
  3.    
  4.    Copyright (c) 1986, 88 by Borland International, Inc
  5.    
  6. */
  7.    
  8. predicates
  9.    friend(symbol, symbol)
  10.    girl(symbol)
  11.    likes(symbol, symbol)
  12.  
  13. clauses
  14.    friend(bill, jane) :- 
  15.       girl(jane),  likes(bill, jane), !.
  16.    friend(bill, jim)  :- 
  17.       likes(jim, baseball), !.
  18.    friend(bill, sue)  :- 
  19.       girl(sue).
  20.    girl(mary).
  21.    girl(jane).
  22.    girl(sue).
  23.    likes(jim, baseball).
  24.    likes(bill, sue).
  25.