Top /
Computers /
Programming /
Languages /
Prolog /
Implementations /
 |
Amzi! Prolog + Logic Server
This extensible Prolog version runs under Windows, Linux, Solaris and HP/UX, supporting development of client and server applications embeddable in the web, C/C++, Java, Delphi, Visual Basic and other environments. An IDE is available for Windows along
http://www.amzi.com/
Amzi.com ~
Site Info
Whois
Trace Route
RBL Check
|
 |
BinProlog
BinNet Corporation offers a high-performance, robust Prolog system able to generate C/C++ code and standalone executables and providing high-level networking along with secure internet programming integrated with rule-based reasoning components.
http://www.binnetcorp.com/BinProlog/
Binnetcorp.com ~
Site Info
Whois
Trace Route
RBL Check
|
 |
SWI-Prolog
Stable and free standard Prolog implementation. Targeted primarily at research and education. Windows, Linux and Unix versions available. Comes with a visual debugger and a GUI environment.
http://www.swi-prolog.org/
Swi-prolog.org ~
Site Info
Whois
Trace Route
RBL Check
|
 |
NU-Prolog
The successor of MU-Prolog, this compiled Prolog system designed and implemented in the mid-80's as a 'purer' logic solution, interfaces with UNIFY databases and is available under an academic license.
http://www.cs.mu.oz.au/~lee/src/nuprolog/
Oz.au ~
Site Info
Whois
Trace Route
RBL Check
|
 |
IF/Prolog
A Prolog implementation for use in industrial and commercial environments. It complies with the ISO Prolog standard and runs on UNIX and MS-Windows environments. IF/Prolog has a rich set of interfaces to standard software components and an additional Con
http://www.ifcomputer.de/Products/Prolog/
Ifcomputer.de ~
Site Info
Whois
Trace Route
RBL Check
|
 |
Quintus Prolog
The Swedish Institute for Computer Science's implementation of Prolog for UNIX and PC platforms is embeddable, integrable and commercial-strength.
http://www.sics.se/isl/quintus/
Sics.se ~
Site Info
Whois
Trace Route
RBL Check
|
 |
Strawberry Prolog
This Prolog compiler for Windows 95/98/NT and Unix/Linux supports OLE and Prolog CGI Scripts. Strawberry Prolog is suitable for client-server applications and has unique debugging facilities.
http://www.dobrev.com/
Dobrev.com ~
Site Info
Whois
Trace Route
RBL Check
|
|
|
|
