Download Sites

Amzi! Prolog + Logic Server for Windows

See the Installation Instructions, new IDE Quick Start and What's New. There are three options:

1. Single File Download
2. Multiple Files Download
3. Amzi! Prolog + Logic Server Core for Updating Existing Users, Amzi! Command-Line Only Users and Existing Eclipse 3.X Users

1. Single File Download

Everything you need in one executable file for easy installation (140mb). Select this option if:

• You do not currently have Eclipse 3.X installed or
• You want to run a second copy of the Eclipse IDE specifically for Amzi! Prolog

NOTE - The 64-bit version is distributed as a .zip file. Simply unzip it in the Program Files directory, or a directory of your choice. If you want to use the command line tools, you will need to set the environment variable AMZI_DIR to point to the install directory.

Amzi! FTP	32-bit version, FTP download
Amzi! Website	32-bit version, HTTP download
Amzi! FTP	64-bit version, FTP download
Amzi! Website	64-bit version, HTTP download

2. Multiple Files Download or Existing Eclipse Users

Select this option only if you are unable to download the one large file above. Download and install any components that you do not have currently installed.

If you are an existing Eclipse user, you can download the Amzi! component below and add the Amzi! plug-in to your existing Eclipse environment. This is done from Eclipse, using Window | Preferences | Install to locate the eclipse_plugin directory in the <InstallDir>/amzi/apls_N-N-N_winXX install directory.

Note the 64-bit version is distributed as a .zip file. Simply unzip it in the Program Files or other directory. You will need to set AMZI_DIR only if you intend to use the command line tools.

1		Eclipse IDE 3.5.X. We recommend version 3.5.2 (18mb)
2		Java Runtime Environment. We recommend version 1.6 (15mb)
3	Web or  FTP	Amzi! Prolog + Logic Server with the Eclipse Plug-Ins (5mb) 32-bit version
3	Web or  FTP	Amzi! Prolog + Logic Server with the Eclipse Plug-Ins (5mb) 64-bit version

3. Existing Amzi! and/or Eclipse Users

If you already have Eclipse 3.0 (or later) and Java 1.4 (or later) installed and would like to add or update Amzi! Prolog + Logic Server, download the Amzi! Core which is only about 8mb. Select this option if:

• You want to add Amzi! Prolog onto an existing Eclipse installation
• You have an older version of Amzi! Prolog + Logic Server and want to update the engine and Eclipse plug-ins to a new version. See the Update Installation Instructions for details.
• You do not want to use the Amzi! Eclipse IDE, and want to use just the command-line tools for Prolog.

You must install the matching Amzi! Eclipse Plug-ins after running the install executable by following these steps.

Amzi! FTP	Can resume failed downloads when using an FTP client instead of a browser
Amzi! Website	HTTP

 

Amzi! Prolog + Logic Server for Linux

See the Installation Instructions and What's New.

Download and Install:

1		Eclipse IDE 3.2 (18mb)
2		Java Runtime Environment 1.4.2 (20mb)

and Amzi! from:

3	Amzi! FTP	Can resume failed downloads when using an FTP client instead of a browser
	Amzi! Website	HTTP

Amzi! Prolog + Logic Server for Solaris, HP/UX, and other platforms

Please contact us to evaluate Amzi! on other platforms.