home *** CD-ROM | disk | FTP | other *** search
/ ftp.barnyard.co.uk / 2015.02.ftp.barnyard.co.uk.tar / ftp.barnyard.co.uk / cpm / walnut-creek-CDROM / MBUG / MBUG114.ARC / SAMPLE.PRO < prev    next >
Text File  |  1979-12-31  |  512b  |  15 lines
  1. [ A sample database for testing E-Prolog.  See the
  2. documentation file EPRO.DOC.            ]
  3.  
  4. ((father jack ken))
  5. ((father jack karen))
  6. ((grandparent ?grandparent ?grandchild)
  7.     (parent ?grandparent ?parent)
  8.     (parent ?parent ?grandchild))
  9. ((mother el ken))
  10. ((mother cele jack))
  11. ((parent ?parent ?child)
  12.     (mother ?parent ?child))
  13. ((parent ?parent ?child)
  14.     (father ?parent ?child))
  15.