This directory contains the following:

*  a brief User Manual for SEL Version 2, called MANUAL;

*  several sample SEL programs---see MANUAL for a guided tour;

*  a Sun-4 executable called sel---you need install this at your site
	following the installation procedure given below (which 
	assumes the existence of Quintus Prolog 3.1 at your site).

INSTALLATION PROCEDURE FOR SUN-4 EXECUTABLE:

If you try execute sel, you will get something like this:

[ sel: valid Quintus Prolog authorization code not found ]
[ Contact Quintus at USA: 415-813-3800 (teksup@quintus.com)
          to extend your license ]

Proceed as follows:

1. Add <path>/q3.1/bin3.1.1/sun4-4.1 to your path and
       <path>/q3.1/generic/q3.1.1    to your MANPATH

        NOTE: <path> is the location of Quintus Prolog 3.1 at your site.
	      At our site, <path> is /util.	

2. Execute 'which qgetpath'.  Let's say the path to qgetpath is <path1>.
	(It is likely that <path1> and <path> are the same.)

3. Execute 'which prolog'.    Let's say the path to prolog is <path2>.

4. Execute '<path1>/qgetpath <path2>/prolog'.  You will get something like:

 Add-Ons :
 Runtime Path :/util/q3.1/bin3.1.1/sun4-4.1
 Quintus Home :/util/q3.1
 Host Directory :/sun4-4.1
 Banner :Sun-4, SunOS 4.1

        (where util will be replaced by <path> at your site)

5. If the above <Runtime Path> is different from <path2>, then execute:

        a.  qsetpath -r<Runtime Path> sel
        b.  qsetpath -q<Quintus Home> sel

Now you are ready to execute sel.


FOR OTHER MACHINES:

If you want to create an executable for a machine of your choice, 
please refer to the directory /ftp/users/kmoon/SYSTEM for source
codes and instructions.


FINALLY:

Please send mail to bharat@cs.buffalo.edu if you acquired this system,
so that we can inform you of upgrades and further developments.
