
1. About this software.

   KORE/IE is a fast production system on Prolog.  The inference
mechanism is realized by performing a recognize-act cycle in a similar
manner as OPS5[Forgy 1981] in which the type of reasoning is forward
chaining.


2. The environment of execution

This software are implemented  on Quintus Prolog


3. Manifest

   Followings are outline of directories. Please refer to ./Manifest
for more detail.

./README	This file
./README.j	This file (in Japanese)
./INSTALL	How to Install
./INSTALL.j	How to Install (in Japanese)
./Manifest	The list of filenames in the source directory "src"
./src/		Source Directory
./example/        an example (monkey & banana) for rule programming in KORE/IE
manual.j          The user's manual (in Japanease)
manual            The programming primer 
makeIE            The file for loading KORE/IE into Prolog


4. How to Install

   Consult all the files under ./src  into the Prolog system.
Please refer to ./INSTALL(.j) for more detail.


5. Start and stop the KORE/IE

   First compile the KORE/IE program into Prolog.  Second load a rule
base into KORE/IE.  Third make a WM element for asserting a initial
state, then you can start KORE/IE by using the "run" command in the
system.  The system stop if all activated rules are triggered in a
recognize-act cycle.
   An example is shown in README file in Directory ./example .


References

[Brownston 1985]L.Brownston, R.Farell, E.Kant and N.Martin, 
     Programming expert system in OPS5, Addison Wesley, 1985. 
[Cooper 1988]T.Cooper and N.Wogrin, Rule-based Programming with OPS5, 
     Morgan Kaufmann Publishers, 1988 .
[Shintani 1988]
    T.Shintani: "A Fast Prolog-Based Production System KORE/IE", 
     Logic Programming:  Proceedings of the Fifth International Conference and 
     Symposium(edited by R.A.Kowalski and  K.A.Bowen), MIT Press,pp.26-
     41,(1988)
[Shintani 89] T.Shintani: "An Approach to Nonmonotonic Inference  Mechanism in 
     Production  System KORE/IE",LNCS 384, Logic Programming'88, Springer-
     Verlag,pp.38-52(1989).
