home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l217 / 2.ddi / EXAMPLES / CH03EX04.PRO < prev    next >
Encoding:
Prolog Source  |  1990-03-26  |  296 b   |  20 lines
  1. /*
  2.    Copyright (c) 1986, 90 by Prolog Development Center
  3. */
  4.    
  5. predicates
  6.    male(symbol)
  7.    female(symbol)
  8.    parent(symbol, symbol)
  9.  
  10. clauses
  11.    male(bill).
  12.    male(joe).
  13.  
  14.    female(sue).
  15.    female(tammy).
  16.  
  17.    parent(bill, joe).
  18.    parent(sue, joe).
  19.    parent(joe, tammy).
  20.