home *** CD-ROM | disk | FTP | other *** search
/ Turbo Toolbox / Turbo_Toolbox.iso / sharew / pdpro / expert / kops. < prev    next >
Encoding:
Text File  |  1994-02-22  |  640 b   |  16 lines
  1. batch.
  2. op(240,xfx,'implies').
  3. op(240,xfx,'only if').
  4. op(220,xfx,'is a').
  5. op(220,yfy,'`s').
  6. op(219,xfx,'eq').
  7. nl,
  8. print('\n                                   PIE.TM\n',
  9. '           A Forward and Backward Chaining Prolog Inference Engine\n',
  10. '                          With Truth Maintenance\n',
  11. '                Public Domain Version 1.1   19 November 1985\n',
  12. '                            By Simon Blackwell\n',
  13. '          Dept. of Philosophy, Bowling Green State University, Ohio').
  14. consult('know.pro').
  15. see(user).
  16.