home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l217 / 2.ddi / EXAMPLES / CH03EX01.PRO next >
Encoding:
Prolog Source  |  1990-03-26  |  299 b   |  16 lines
  1. /*
  2.    Copyright (c) 1986, 90 by Prolog Development Center
  3. */
  4.  
  5.  
  6. predicates
  7.    likes(symbol,symbol)
  8.  
  9. clauses
  10.    likes(ellen, tennis).
  11.    likes(john, football).
  12.    likes(tom, baseball).
  13.    likes(eric, swimming).
  14.    likes(mark, tennis).
  15.    likes(bill, Activity) if likes(tom, Activity).
  16.