home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l210 / 1.ddi / EXAMPLES.ARC / CH03EX01.PRO next >
Encoding:
Prolog Source  |  1988-06-21  |  361 b   |  19 lines
  1. /*
  2.    Turbo Prolog 2.0 Chapter 3, Example Program 1
  3.    
  4.    Copyright (c) 1986, 88 by Borland International, Inc
  5.   
  6. */   
  7.  
  8.  
  9. predicates
  10.    likes(symbol,symbol)
  11.  
  12. clauses
  13.    likes(ellen, tennis).
  14.    likes(john, football).
  15.    likes(tom, baseball).
  16.    likes(eric, swimming).
  17.    likes(mark, tennis).
  18.    likes(bill, Activity) if likes(tom, Activity).
  19.