GNU Prolog
Копилятор языка Prolog.
This Prolog compiler complies with the ISO standard for Prolog (with useful extensions like
global variables, ability to interface with the operating system, etc) and produces a
native binary that can be run standalone. It is smart enough to avoid linking unused built-in
predicates. It also has an interactive interpreter and a Prolog debugger as well as a low-level
WAM debugger. You can interface with C code (both ways). Platforms supported include Linux (i86),
SunOS (sparc) and Solaris (sparc).
Ciao Prolog
Ciao Prolog is a GNU GPL Prolog system that supports ISO Prolog as well
as various extensions, such as programming with functions, objects, threads, etc. It comes
with libraries that support WWW programming, sockets, interfaces to other languages
(eg C, Java, TclTk, relational databases), etc. The compiler allows you to generate
architecture-independent and standalone executables. The system also includes lpdoc,
an automatic document generator. Precompiled binaries are available for Windows, and
the sources may be compiled for Linux, Mac OS X, SunOS, Solaris, IRIX, etc.
Logtalk
Open-source объектно-ориентированное расширение к языку программирования Пролог.
Mercury
Mercury is a new logic/functional programming language, which combines
the clarity and expressiveness of declarative programming with advanced
static analysis and error detection features.
Poplog
Poplog is a software development system that includes incremental compilers for
Pop11 (a Lisp-like language with more conventional syntax), Common Lisp,
Prolog (compatible with the Edinburgh definition), and Standard ML. It comes
with documentation, program libraries, and teaching materials for AI and
Cognitive Science. Supported
platforms include Windows, Linux, Solaris on Sparc, Solaris on Intel, Digital
Unix on Alpha, AIX on PowerPCs.
Visual Prolog
A freeware version of this compiler is available for Windows 3.1, Windows 95, 98, NT, OS/2,
SCO Unix and Linux. The freeware licence only allows you to use it at home and in an
educational institute for teaching and learning Visual Prolog. You cannot distribute your
executables or use it for any commercial purpose. It also creates a banner in your executables.
Licence aside, you get a GUI IDE which allows you to design and draw your user interfaces
instead of coding them. Also included are input/output procedures, arithmetic and
string manipulation functions, B+trees and network support, operating system functions, a
layer which allows you to create portable GUI applications, etc. The optimizing compiler
generates native code and performs type checking, global flow analysis, determinism
checking, and possible fail detection. Unlike ISO-Prolog however, you need to declare clauses
in a predicates-section before you can state them as clauses.
