home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Power-Programmierung
/
CD1.mdf
/
prolog
/
pdprolog
/
kops
< prev
next >
Wrap
Text File
|
1986-05-05
|
640b
|
16 lines
batch.
op(240,xfx,'implies').
op(240,xfx,'only if').
op(220,xfx,'is a').
op(220,yfy,'`s').
op(219,xfx,'eq').
nl,
print('\n PIE.TM\n',
' A Forward and Backward Chaining Prolog Inference Engine\n',
' With Truth Maintenance\n',
' Public Domain Version 1.1 19 November 1985\n',
' By Simon Blackwell\n',
' Dept. of Philosophy, Bowling Green State University, Ohio').
consult('know.pro').
see(user).