Install:

Using the conventional PROLOG system (e.g., Quintus, Sicstus,
C-Prolog, etc.) on a UNIX machine, compile PROLOG file "gcompile.pl"
and load (or consult) it.  Then enter the following query.

?- gcompile(TargetGHCFile, OutputFile, ClauseDataBaseFile).
% Data types: gcompile(atom,atom,atom)

In the above line, the argument TargetGHCFile designates an
experimental GHC program.  "main.ghc" in this package is an example
for it.  The "main.ghc" consists of two sections: the first section is
the description of the SMS kernel, and the latter section is the
description of user's GHC programs.

If you plan to create another experimental programs, the easiest way
is to remake the user's GHC programs section directly, or first to
make your own user's GHC programs and later combine it and the SMS
kernel section.

The rest arguments OutputFile and ClauseDataBaseFile may have arbitary
names, but the file name extension of OutputFile should be ".kl1".  In
the below, we use "main.kl1" as "OutputFile" and "clauses.dat" as
ClauseDataBaseFile.

Now go into the next stage.

Using PIM, compile and load vtrans.kl1, and enter the next query.

?- key:make_clause_key(ClauseDataBaseFile, ClauseTableFIle).
% Data types and input/output mode: make_clause_key(string:input,string:input)

ClauseDataBaseFile is the result of the former stage. In our case it is
"clauses.dat". ClauseTableFile may be an arbitary name but its file extension
should be ".kl1". We assume it is "clauses.kl1".

Then comile and link all the KL1 files including the "main.kl1" and
"clauses.kl1".  Now you have the object file of SMS on the memory of PIM.
It is recommended to unload the object to save the compilation result;
SMS is avairable by loading the unloaded object without compiling and linking.

In addition to the KL1 object, you must catalog two ESP programs:
"display.esp" and "display2.esp". Be sure to create a package named "taskmix"
beforehand.

$B!z(BExperiments

After the completion of the install, enter the query on PIM.

?- os:boot.

This starts SMS; several windows are open. Please refer to the
document in the "doc" directory to know the usage of SMS.

Note on installation:

This version uses 64 PIM processors. If you would like to change the
number of the processors, you must edit "spec64.kl1" and
"display2.esp" suitabley. This is easy task for "spec64.kl1"; only a
few parameters should be changed, but "display2.esp" is heavily
dependent on the current configuration and careful editing is
required.
