Top /
Computers /
Programming /
Languages /
Prolog /
Implementations /
|
Brain Aid Prolog
Based on Edinburgh Prolog and extended with object-oriented mechanisms, this Berkeley-style open-source system has a compiler written in Prolog and generates Transputer assembly code.
http://www.fraber.de/bap/
Fraber.de ~
Site Info
Whois
Trace Route
RBL Check
|
|
Arity/Prolog32
With a compiler and interpreter written in Prolog, C and assembly language and representing a superset of Edinburgh Prolog, a programming environment is offered for Windows/NT.
http://www.arity.com/?Tab=products&tab2=prolog
Arity.com ~
Site Info
Whois
Trace Route
RBL Check
|
|
ProFIT
Prolog with Features Inheritance, and Templates: Prolog extension with sorted feature structures (including multi-dimensional inheritance), finite domains, feature search, cyclic terms, templates.
http://www.coli.uni-saarland.de/publikationen/softcopies/Erbach:1995:EUFa.pdf
Uni-saarland.de ~
Site Info
Whois
Trace Route
RBL Check
|
|
GNU Prolog
This compiler accepts Prolog + constraint programs and produces native binaries. The obtained executable is subsequently stand-alone. The size of this executable can be quite small since GNU Prolog can avoid linking the code of most unused built-in predi
http://www.gprolog.org
Gprolog.org ~
Site Info
Whois
Trace Route
RBL Check
|
|
Aquarius Prolog 1.0
The compiler for this open-source version developed at UCB is built around the Berkeley Abstract Machine, a finer-grained rendition of WAM. An interpreter provided for program development is written in Prolog.
http://www.info.ucl.ac.be/~pvr/aquarius.html
Ac.be ~
Site Info
Whois
Trace Route
RBL Check
|
|
SICStus Prolog 3
This ISO-conformant, performance-oriented Prolog development system also features interfaces with C/C++, Java and ODBC-compliant DBMS's and an OOP extension.
http://www.sics.se/isl/sicstuswww/site/
Sics.se ~
Site Info
Whois
Trace Route
RBL Check
|
|
K-Prolog
This is the English download site for this Japanese implementation of Prolog for Solaris, HP-UX, Digital UNIX, Linux and 32-bit Windows environments.
http://www.kprolog.com/index_e.html
Kprolog.com ~
Site Info
Whois
Trace Route
RBL Check
|
|
The YAP Prolog System
The University of Porto's Edinburgh-style, WAM-based Prolog engine is available on 32-bit machines running Sun and Linux and 64-bit Alphas running OSF UNIX and Linux. An open-source policy is being implemented with regard to distribution.
http://www.dcc.fc.up.pt/~vsc/Yap/
Up.pt ~
Site Info
Whois
Trace Route
RBL Check
|
|
|
|