home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l217 / 2.ddi / EXAMPLES / CH05EX06.PRO < prev    next >
Encoding:
Prolog Source  |  1990-03-26  |  338 b   |  20 lines
  1. /*
  2.    Copyright (c) 1986, 90 by Prolog Development Center
  3. */
  4.    
  5. domains
  6.    name = symbol
  7.  
  8. predicates
  9.    father(name, name)
  10.    everybody
  11.  
  12. clauses
  13.    father(leonard, katherine).
  14.    father(carl, jason).
  15.    father(carl, marilyn).
  16.    everybody :- 
  17.       father(X, Y),
  18.       write(X, " is ", Y, "'s father\n"),
  19.       fail.
  20.