26-Aug-91
Thomas F. McGinnis
Soar Project
School of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213-3890
Comments to: Soar-bugs@cs.cmu.edu

This directory contains the Soar task library, for the 5.2.2 external
release of Soar. The library is not yet fully collected, organized,
tested or documented. Most of the programs have been tested under this
release.

The library directory, on the CMU CS Soar source repository, is
/afs/cs/project/soar/5.2/prg, but in a release it is soar/lib/.

It is our hope that the libary of systems will all be organized as
follows some day, but as yet we have yet to find the labor to dedicate
to this task.

Each program will be in its own directory, with a README file.
Each README will contain author, site, write date and version number.
All Soar sources will be named .soar.
All compilable Lisp sources will be named .lisp.
All systems will have a load.lisp file that loads all of their
files (but does nothing else).
All systems will have a compile.lisp file that compiles any
and all of their compilable Lisp files.
Each will contain a .drib file, showing a trace of the system
in action on one or more test cases.
Each will have an automatic test case in /afs/cs/project/soar/5.2/test.
Each will be tested for correctness on every internal release
on all machine, operating system, Lisp vendor combinations supported.

The Soar5 tasks currently in the release are:

Default - the default knowledge.

Eight2, Eight3 - two versions of our flagship task the eight puzzle (eight1 sank).

farmer2 - a farmer's problem.
 
mab - monkeys and bannans problem.

opsubmab - an operator subgoaling version of mab.

magic - the magic square.

physics - a model of a student doing a simple physics problem.

taql - the task acquisition language, version 3.1.2.

waterjug - the waterjug problem.

------------------------------------------------------------------------------
Installation Recommendations:

 It is recommeded that the Soar5.lisp source be compiled and loaded into
a clean CommonLisp image, then load the file lib/default/default.soar and
dump the lisp image for a base system. If you intend to use the Taql system
as well, you may want to compile and load that as well, before dumping the
image (see the README under the Taql library for more details).
