Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.
Source code for the entire Amzi! Prolog system.
Amzi! Prolog is made of the following:
alis
), compile (acmp
), link (alnk
) and execute (arun
) Prolog programs
File types:
Common terms:
arun
if you want that.See also: Amzi! Prolog Quick Overview and the Detailed Amzi! Prolog Overview
User's Guide and Reference
Programmer's Guide
Logic Server User's Guide and Reference
Prolog Articles / Whitepapers
Adventure in Prolog -- A tutorial/guided tour through Prolog
Building Expert Systems in Prolog -- An advanced tutorial
Videos:
Articles:
The /engine
folder contains Amzi! Prolog's core, made of the Prolog-VM and the Logic Server runtime library.
The Logic Server's primary API is exposed in C and found under /engine
, but has also various foreign language bindings found under /langbindings
.
The Prolog compiler, listener, and runner are found under /run
. acmp
, arun
, and alis
are the exact same executable, their actual purpose is identified by their filename only:
arun
, the engine/Logic Server simply executes the passed .xpl
filealis
it loads alis.xpl
(source under /listen
)acmp
it loads acmp.xpl
(found under /compile
and the source under https://github.com/AmziLS/AmziPrologCompiler)/linkrun
contains the source for the Prolog linker. /libs
contains Prolog libraries that will be compiled to .plm files.
A core extension to Prolog -- which provides OS related functions for handling files, directories, environment variables, and displaying message boxes -- is available under /extensions/osutils
. Non-core extensions exist for ODBC, MySQL, Tcl/Tk, and sockets, which can be found in the /extensions
folder.
Examples for all core Prolog uses, language bindings, and Prolog extensions are available under /samples
.
Finally, apart from a simple Windows IDE (under /winIDE
), there is also an Eclipse plugin that provides a more complete experience, found under /eclipse_plugin
.
For building the whole system, see the /make
subdirectory.
It is also possible to load the .sln files in Visual Studio for debugging.
bin/amzi_vars_win32.bat
and bin/amzi_vars_win64.bat
to match
the installation paths of the installed dependencies (as mentioned in the building instructions).Amzi Prolog 32 Bit Environment (Source).lnk
or Amzi Prolog 64 Bit Environment (Source).lnk
command line environments, to ensure all the necessary paths are set.
devenv
to start Visual Studio.Releases are available as usual on GitHub, on the right side bar. They contain the built runtime library, and command line tools, but also samples, language bindings, Logic Server extensions, and a ready to use Eclipse plugin. It's the easiest way to get started.
Copyright (c) Amzi! inc. 2016, 2021
Licensed under the MIT Open Source License.