Samples

By Subdirectory

The following samples are provided in the follow subdirectories:

c - Samples illustrating the use of the Amzi! Logic Server from the 'C' language.

chezray - A collection of Ray Reeves favorite Prolog works (see our website to download).

cpp - Samples illustrating the use of the Amzi! Logic Server from the C++ language.

delphi - Samples illustrating the use of the Amzi! Logic Server from Borland's Delphi.

internet - Samples illustrating the use of the Amzi! Logic Server on web clients and servers.

java - Samples illustrating the use of the Amzi! Logic Server from the Java language.

lsx - Samples illustrating how to build your own predicates in other languages that can be called from your Amzi! Prolog modules.

.net - Samples illustrating the use of the Amzi! Logic Server from .NET languages and technologies.

odbc - Samples illustrating the use of ODBC, Prolog and the Amzi! Logic Server.

prolog - Samples illustrating Amzi! Prolog and its unique features.

tcltk - Samples illustrating the integration of Tcl/Tk and Prolog.

vb - Samples illustrating the use of the Amzi! Logic Server from Microsoft's Visual Basic.

By Topic

Here are some notable samples sorted by topic:

Multiple Engines

These samples show host language applications using multiple Logic Servers.

C / Pets - Multiple engines running Pets from the console.

Java / Pets_Callback - Pets with callback extended predicates written in Java.

C++ / Pets - Multiple Logic Servers running Pets from the console.

C++ / Pets_Callback - Pets with callback extended predicates.

C++ / Win32_Rubik_Multi - Multiple cubes solving in multiple threads simultaneously.

Natural Language

Prolog is an excellent tool for parsing natural language. (It was originally designed with this type of application in mind.)

Prolog / Babel - Text interface to a Unicode, multi-language translation sample.

Unicode

Internally, Amzi! uses Unicode strings. They are directly accessible from environments that support Unicode, such as Windows NT. These applications highlight the use of Unicode and Prolog. (Multibyte to Unicode string conversion functions enable multibyte applications to run under other environments, such as Windows 95).

Prolog / Babel - Text interface to a Unicode, multi-language translation sample.

Prolog / Logic - The Clocksin & Mellish Formal Logic to Prolog translator, using Unicode characters for Logic Symbol