Lambda-Clam and the Edinburgh version of Teyjus: ================================================ This tarball contains to directories: 1. lambda-clam-teyjus 2. teyjus It is important that the version of teyjus included here is used, and not the standard version of teyjus. This is because the memory has been increased in this version of teyjus in order to allow lamda-clam to run. In order to install lambda-clam, first install teyjus according to the instructions in the INSTALL file in the teyjus directory: 1. `cd' to the directory containing the package's source code and type `./configure' to configure the package for your system. If you're using `csh' on an old version of System V, you might need to type `sh ./configure' instead to prevent `csh' from trying to execute `configure' itself. Running `configure' takes awhile. While running, it prints some messages telling which features it is checking for. 2. Type `make' to compile the package. ** IMPORTANT: If you are not using GNU Make, the system will build ** correctly, but many features that are useful in developing the ** system will be unavailable. The authors strongly recommend the ** use of GNU make for anything beyond simply building the system. 3. Type `make install' to install the programs, data files, documentation, and examples. The examples will, by default, be installed in `/usr/local/examples', but this can be chagnged with the `--prefix' argument to `configure' (see below). 4. You can remove the program binaries and object files from the source code directory by typing `make clean'. To also remove the files that `configure' created (so you can compile the package for a different kind of computer), type `make distclean'. If you use it, you may have to get all sorts of other programs in order to regenerate files that came with the distribution. Once teyjus has successfully been built, follow the instructions in the lambda-clam-teyjus/README file: 1. Set the enviroment variable TEYJUS_HOME to point to the directory containing the tjsim executable. 2. Set your PATH to point to the directory containing the tjsim executable (on Dream machines this is already set for you). 3. Download lclam.tar.gz from the Dream Group home page. Uncompress it. You should get a top level directory lambda-clam-teyjus/. 4. Enter this directory and set the environment variable LCLAM_HOME to point to it. 5. Add: $LCLAM_HOME/src/compiler $LCLAM_HOME/src/core_theories $LCLAM_HOME/src/gs $LCLAM_HOME/src/interface $LCLAM_HOME/src/io $LCLAM_HOME/src/mathweb $LCLAM_HOME/src/planner $LCLAM_HOME/src/syntax $LCLAM_HOME/src/theories $LCLAM_HOME/src/theories/tutorial $LCLAM_HOME/src/util to TJPATH. 7. Enter the directory $LCLAM_HOME/src/ 8. Type make. NB. You may want to do this in emacs and then search the output for error messages. =============================================================================== To test lambda-clam is working: Type $LCLAM_HOME/bin/lclam. Alternatively put $LCLAM_HOME/bin on your PATH and type lclam To exit lclam type quit. To exit lclam and teyjus type halt. To test lclam is working type testpds. (This will generate a lot of output, but each attempt is started with Checking and should end with Plan Succeeded)