Distributing Your Programs

In order package up your .plm files into a distributable module, you first need to create an .xpl file for your application as described in the section on alnk.

For command-line environments like the Windows Console, Solaris or Linux, you need to create an executable file. The simplist way to do this is to copy arun(.exe) to yourprog(.exe), where your compiled and linked Prolog module is called yourprog.xpl. When yourprog(.exe) is run, it will automatically run yourprog.xpl. The source code for arun is included in the src/acore/arun directory. It is in file arun.cpp. A make file is included as well.

To ship your program to other users, the following files are required:

Your users simply copy these files into a directory and run the program by typing its name at the operating system prompt. If that directory is in their PATH statement, they can run your application from any directory on their machine.

Redistributable Files

The following files may be distributed with your Amzi! Prolog application:

You may distribute the Prolog library files.

You may distribute the following files if they are linked into your EXE file:

You may incorporate and/or modify any of the samples (in the samples subdirectory) into your applications.

You may distribute any of the files provided as source in the standard distribution, and any files derived from those files. For example, if you modify and/or recompile the Java Logic Server interface you may distribute that derived interface with your application.

You may NOT distribute any other files not explicitly listed here without the prior written authorization of Amzi! inc. You may NOT distribute any of the development tools, such as: alis.exe, alis.xpl, acmp.exe, acmp.xpl, alnk.exe, alnk.dll, the Eclipse plug-ins. For example, there are occasions where it is desired to redistribute the Amzi! Prolog compiler, acmp.xpl. This can only be done using a separate license obtained from Amzi!.

Copyright ©1987-2011 Amzi! inc. All Rights Reserved. Amzi! is a registered trademark and Logic Server is a trademark of Amzi! inc.