Requirements & Installation

This document describes:

Requirements

Windows

Amzi! Prolog + Logic Server for the PC requires one of Windows '98 SE, NT 4.0, 2000 and XP (or later). Installation of the full Amzi! system, including the libraries for all the supported environments, requires approximately 15mb of disk space for the core system plus 85mb of space for the Amzi! Eclipse IDE and Java. The Eclipse IDE requires Java 1.4 or later.

The Logic Server API supports:

Linux

Amzi! Prolog + Logic Server runs on Linux kernel 2.2.X or later. Installation requires approximately 15mb of disk space for the core system plus 85mb of space for the Amzi! Eclipse IDE and Java. The Eclipse IDE requires Java 1.4 or later.. The Logic Server works with any compatible compiler including:

Solaris

Amzi! Prolog + Logic Server runs on Solaris 8 or later. Installation requires approximately 15mb of disk space for the core system plus 85mb of space for the Amzi! Eclipse IDE and Java. The Eclipse IDE requires Java 1.4 or later. The Logic Server works with any compatible compiler including:

HP/UX

Amzi! Prolog + Logic Server runs on HP/UX 11 or later, and is available only by special request at this time. Installation requires approximately 15mb of disk space for the core system plus 85mb of space for the Amzi! Eclipse IDE and Java. The Eclipse IDE requires Java 1.4 or later. . The Logic Server works with any compatible compiler including:

IBM AIX and Other Platforms

Amzi! Prolog + Logic Server can be readily ported to any platform that supports C++. Please contact us for details.

Installation Instructions

Amzi! Prolog + Logic Server is distributed as a packed archive file (.exe, .zip or .tgz). The archives contain full pathnames for each file. This means that when you extract the files, the entire directory structure will be created (below the current directory) with each file in its proper subdirectory. Because the top-level directory name and executable program and library names include the major release number, you can run multiple releases of Amzi! Prolog+Logic Server at the same time without naming conflicts.

To extract the files, put the archive(s) in your root or user directory or whatever directory you want to contain the directory tree. Then follow the appropriate instructions for your operating system.

Windows

Install the full Amzi! system and the Amzi! Eclipse IDE (with Java) by running amzi_N-N-N_win.exe file. This will install Amzi! into the directory of your choice and perform the steps below.

  1. Add install_dir\amzi_7-N-N\bin on your PATH where install_dir is the directory you installed Amzi! into.
  2. Add the environment variable AMZI_DIR=install_dir\amzi_7-N-N.
  3. For Java users, adds %AMZI_DIR%\lsapis\java20 on your CLASSPATH.
  4. C/C++ users, adds %AMZI_DIR%\lib to your LIB environment variable and %AMZI_DIR%\include to your INCLUDE environment variable.

Additional Installation Steps

  1. If you are going to rebuild source code, add the environment variable AMZI_DEV_DIR=install_dir\amzi_N-N-N.
  2. Delphi users, see the instructions for installing the component.
  3. Student/Developer/Professional License users, run unlock.exe in amzi\bin (see below).

Existing Eclipse Users

If you already have Eclipse 3.1 (www.eclipse.org) and Java 1.4 (java.sun.com) installed, install the core Amzi! system only by running the amzicore_N-N-N_win.exe install file (instead of the full product), then:

  1. Start Eclipse.
  2. Select Help | Software Updates | Find & Install then click 'Search for New Features to Install'.
  3. Click on 'New Local Site' and open your amzi_N-N-N/eclipse_install directory.
  4. Select your new site containing the Amzi! Prolog + Logic Server IDE.
  5. Click 'Finish'.
  6. Restart Eclipse as a user that can write to the eclipse directory tree to install the Amzi! documentation.

Unix

  1. Gunzip the archive by typing 'gunzip amzi_N-N-N_linux.tgz'
  2. Extract the file by typing 'tar -xvf amzi_N-N-N_linux.tar' to extract the files.
  3. Add the environment variable AMZI_DIR=install_dir/amzi_N-N-N where install_dir is the directory you installed Amzi! into.
  4. Add $AMZI_DIR/bin onto your path. Alternatively, create links to the executables from a directory on your path.
  5. Add $AMZI_DIR/lib to the LD_LIBRARY_PATH environment variable.
  6. If you are going to enter a license for the software, make sure your HOME environment variable is set to a directory you have read/write privileges for.
  7. If you are going to rebuild source code, add the environment variable AMZI_DEV_DIR=$AMZI_DIR.
  8. Java users, add $AMZI_DIR/lsapis/java20 on your CLASSPATH.
  9. C/C++ users, add $AMZI_DIR/lib to your LIB environment variable and $AMZI_DIR/include to your INCLUDE environment variable.

In order to run the Amzi! Eclipse IDE you need to install:

  1. Eclipse 3.1 (www.eclipse.org)
  2. Java 1.4 (java.sun.com). This can be installed in eclipse/jre or elsewhere on your system.

Next install the Amzi! Feature into Eclipse as follows:

  1. Start Eclipse.
  2. Select Help | Software Updates | Find & Install then click 'Search for New Features to Install'.
  3. Click on 'New Local Site' and open your amzi_N-N-N/eclipse_install directory.
  4. Select your new site containing the Amzi! Prolog + Logic Server IDE.
  5. Click 'Finish'.
  6. Restart Eclipse as a user that can write to the eclipse directory tree to install the Amzi! documentation.

Updating to a New Version

First, do not install a new version of Amzi! if your maintenance has expired. In the Amzi! Eclipse IDE select Help | Amzi! Version or from the command-line type 'alis' to check your software maintenance and support status.

When a new version of Amzi! is available you have 2 choices.

  1. Uninstall the old version and download and install the new Amzi!, Eclipse and JRE. This option is best if you can easily download the full system (which is very large for dial-up connections).
  2. Download and install only the core Amzi! system
  3. Run the amzicore_N-N-N_win.exe install file (instead of the full product), then:
    1. Start Eclipse.
    2. Select Help | Software Updates | Update Manager. This opens the Install/Update Perspective.
    3. In the lower left corner open your amzi_N-N-N/eclipse_install directory.
    4. Select the Amzi! Prolog + Logic Server IDE.
    5. Click "Install Now".
  4. On some versions of Windows you will need to reboot to have the changes take effect.

You can switch back to your prior Amzi! version by changing the value of AMZI_DIR, and by reverting to the prior Amzi! Eclipse Plug-ins (if needed) in the Eclipse Update Manager.

Unlocking the Software

Customers who purchase a paid license to Amzi! Prolog + Logic Server will receive a license key. By entering this information into the product, additional features are enabled.

If you need to reinstall your operating system, you must unregister your Amzi! software first.

In the current release, the Personal/Student License adds the ability to:

The Developer and Professional Licenses adds:

The Developer License adds:

The Professional License adds the ability to:

To unlock the software, either select the File | Buy/Activate License menu choice in the Amzi! Eclipse IDE, or select 'License Manager' from the Amzi! Programs menu, or change directory to the install_dir/amzi/bin directory and run the unlock program.

When you purchase Amzi! you will receive an email with a sales reference number. To get a key from the Amzi! Website, enter your sales reference number, user name and email address then press 'Get License Key'. If all the information can be verified, your license key will be installed for you. If not, it will be emailed to the address you provided. In that case, enter the user name and license key from the email and press 'Install License Key'.

Note: After unlocking, recompile and relink any programs that need to make use of the newly enabled features.

Unregistering and Transferring Your License (Windows)

Before re-installing your operating system, you need to unregister your license.

You can also transfer your license to a new PC by unregistering the license on the current PC.

To do this:

  1. Either select the File | Buy/Activate License menu choice in the Amzi! Eclipse IDE, or select 'License Manager' from the Amzi! Programs menu.
  2. Click the 'Remove License Key' button and follow the instructions.
  3. WRITE DOWN THE REFERENCE NUMBER PROVIDED!
  4. If you are re-installing your operating system, do that now. (This action changes your hardware fingerprint and must be completed before you can get a new license key for that changed fingerprint).
  5. If you are transferring your license, install Amzi! on the new PC (if you have not done so already).
  6. Either select the File | Buy/Activate License menu choice in the Amzi! Eclipse IDE, or select 'License Manager' from the Amzi! Programs menu. Enter the reference number, username and email address. If you are not transferring owners, enter the same user name and email address you used on the original PC. Press 'Get License Key'.
  7. The new license key with either be installed or emailed to you.

If you have a problem unregistering the software, you should find a file named 'amzi_license_uninstall.txt' in the root directory of your hard disk. It has all the necessary information and instructions to finish unregistering your license key on the Amzi! Website so a replacement can be issued.

Uninstalling the Software

Under Windows, to remove Amzi!, open the Control Panel and choose Add/Remove Programs. You may have to delete the amzi directory tree if you have modified any files within it (sources, samples, configs, workspace).

To remove Amzi! from your computer manually:

  1. Delete the amzi directory tree.
  2. Delete the AMZI_DIR, AMZI_DEV_DIR environment variables and remove it from your PATH, CLASSPATH, LIB and INCLUDE environment variables.
  3. Windows users, delete the shortcuts from the Start / Programs menu.

Distribution Files

Amzi! Prolog + Logic Server as a compressed archive file that contains the following directory structure:

amzi
bin - executable files, and, under Windows, .dll and .lsx files.
    acmp.exe - command line compiler
    alis.exe - command line listener
    alnk.exe - command line linker
    arun.exe - command line runtime
    unlock.exe - command to unlock Amzi! features
    amzi.dll - Amzi! windows DLL (Windows)
    amzijni.dll - Java 2.0 interface DLL (Windows)
    amzinet.dll - .NET interface DLL (Windows)
    adebug.lsx - Remote debugger support (Windows)
    aodbc.lsx - ODBC extended predicates (Windows)
    aosutils.lsx - Operating system dependent extended predicates (Windows)
    asock.lsx - Sockets interface LSX (Windows)
abin - Prolog executable files.
    acmp.xpl - Compiler load module
    aidl.xpl - IDE listener load module
    alis.xpl - Listener load module
    acgi.plm - Prolog interface to CGI
    alib.plm - Prolog library of built-ins
    aodbc.plm - Prolog ODBC predicates
    asock.plm - Sockets interface Prolog predicates
    axrf.xpl - Cross referencing library
    date_time.plm - Date/time predicates
    debug64.plm - IDE source code debugger support
    list.plm - List library predicates
    misc.plm - Miscellaneous predicates
    xml.plm - XML parsing library
docs - HTML documentation (see src if it's not here).
    amzidoc.htm - Master HTML document, points to all others
eclipse_install - Files to install the Amzi! IDE into an existing copy of Eclipse
include - logicserver.h C/C++ header file.
    amzi.h - Deprecated C/C++ include file
lib - under Unix, .so and .lsx files.
    amzi.lib - Logic Server library for linking (Windows)
    amzib.lib - Borland version of Logic Server library (Windows)
    libamzi.so (Unix)
    libamzijni.so (Unix)
    libamzijide.so (Unix)
    libalnk.so (Unix)
    adebug.lsx - Remote debugger support (Unix)
    aosutils.lsx - Operating system dependent extended predicates (Unix)
    asock.lsx - Sockets interface LSX (Unix)
lsapis - Logic Server interfaces for other languages/tools.
     cgi - CGI executables
     delphi - Delphi component (Windows)
     java20 - amzi/ls class libraries and JNI interface
     vb - VB module (Windows)
samples - various samples, including HTML documentation.
    c - C samples chezray - An assortment of Ray Reeve's favorite programs
    cgi - CGI samples
    cpp - C++ samples
    delphi - Delphi samples
    dotnet - .NET samples
    internet - Internet samples
    java - Java samples (JSP, servlets, ASP.NET, .NET and CGI)
    lsx - Logic Server Extension samples
    odbc - ODBC samples
    prolog - Prolog samples
    sockets - Sockets samples
    vb - Visual Basic samples
src - source code for extensions and documentation.

Copyright ©1987-2004 Amzi! inc. All Rights Reserved. Amzi! is a registered trademark and Logic Server and e-Prolog are trademarks of Amzi! inc.