home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l210 / 1.ddi / EXAMPLES.ARC / CH05EX06.PRO < prev    next >
Encoding:
Prolog Source  |  1988-06-21  |  398 b   |  23 lines
  1. /*
  2.    Turbo Prolog 2.0 Chapter 5, Example Program 6
  3.    
  4.    Copyright (c) 1986, 88 by Borland International, Inc
  5.    
  6. */
  7.    
  8. domains
  9.    name = symbol
  10.  
  11. predicates
  12.    father(name, name)
  13.    everybody
  14.  
  15. clauses
  16.    father(leonard, katherine).
  17.    father(carl, jason).
  18.    father(carl, marilyn).
  19.    everybody :- 
  20.       father(X, Y),
  21.       write(X, " is ", Y, "'s father\n"),
  22.       fail.
  23.