Installing Amzi! Prolog 4.x for Solaris

Amzi! Prolog for Solaris is distributed as a 
compressed tar file, amzi4.tar.gz. To install it,
you must uncompress and untar it into an
appropriate directory, and add it to your path.

1. cd to the directory where you want to install Amzi
   Prolog.  Step 2 below creates a subdirectory called
   "amzi4" that contains all the installation files.  For
   example, if you want the Amzi files to be in
   /usr/local/amzi4:
   % cd /usr/local

2. Extract the files from the tar archive into the
   chosen directory.  In the example below, I am assuming
   that the distribution tar file is in your home directory.
   % gunzip -c ~/amzi4.tar.gz | tar xvf -
   or if you have gzip instead
   % gzip -d ~/amzi4.tar.gz | tar xvf -
   or if you have GNU tar
   % gtar xvzf ~/amzi4.tar.gz

3. Add /usr/local/amzi4/bin (or corresponding directory if
   you installed somewhere else) to the path statement in
   your .cshrc file (or equivalent file if you are another
   shell).  Source this file to update your current
   shell.  You may also need to run "rehash".

4. If you create Logic Server programs that use the shared
   version of the Amzi library, you will need to either
   copy libamzi.so to a system library directory, or set
   the LD_LIBRARY_PATH environment variable to point to
   the amzi4/lib directory.
   
5. Create an environment variable in your profile called
   amzi4 whose value is the full path of the amzi4/bin
   directory on your machine.

6. You will need to unlock the system to enable all of the
   tools.  To do this, start the listener (a4lis) from the
   amzi4/bin directory and enter the query
   ?- unlock.
   Answer the prompts with information
   from your registration form, and wait a few seconds.  The
   system should now be ready to use.

7. The documentation is in HTML, with the first page at
   amzi4/doc/amzidoc.htm.  Note that the documentation covers
   the Windows version as well.  The IDE and many of the samples
   are not provided on the Solaris platform.  The command line
   tools are used to listen, debug, compile and link Prolog
   programs.

   
Technical Support: Send e-mail to support@amzi.com.


Contents of the distribution.

    .../amzi4:         readme.txt (this file)
    .../amzi4/bin:     a4run, a4lis, a4cmp, a4pkg
    .../amzi4/doc:     html documentation, start at amzidoc.htm
    .../amzi4/include: include files
    .../amzi4/lib:     library files
    .../amzi4/Samples: sample files