Search for
Home > Computers > Programming > Languages > Prolog >

Implementations
New! Submit a site
 
whatUseek Collection Sites (submit a site ):
 
Give your site great placement in this category in as little as two business days!
 
 
whatUseek Directory Site Listings:
 
ALS Prolog - Applied Logic Systems, Inc. provides a full-featured, Edinburgh-style Prolog compiler with GUI tools for Unix, Windows and Macintosh platforms.
 
Amzi! - Version 4.x of this extensible Prolog version runs under Windows, Linux and Solaris, supporting development of client and server applications embeddable in C/C++, Java, Delphi, Visual Basic and other environments. An IDE is available for Windows along with an interpreter-based tutorial.
 
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.
 
Arity/Prolog - 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.
 
B-Prolog - Free, compact, full CLP system that runs Prolog and CLP(FD) programs. Emulator based, performance similar to SICStus-Prolog. Runs on: FreeBSD, Linux, Solaris, SunOS, Unix, Windows 9x/NT/2000.
 
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.
 
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 generating Transputer assembly code. Besides the Transputer the system is executable on Sun-OS, related Unices and Linux.
 
CMU Free/Shareware Prolog - CMU's AI repository offers a collection of Prolog implementations.
 
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 predicates. The performance of GNU Prolog is very encouraging (comparable to commercial systems).
 
IF/Prolog - This ISO-compliant Prolog tool runs under UNIX and Windows and is utilized for industrial and commercial applications. A Constraint Technology Package is additionally available for optimization.
 
JIP - Java Internet Prolog is a Prolog Java-compatible interpreter. JDK1.1- and Edinburgh Prolog-compliant this Prolog version allows code written in Prolog to be run in any Java applet or application and Java methods to be called in any Prolog code.
 
MasterProLog - Formerly known as Prolog by BIM this commercial development and run-time system is available under UNIX and Windows NT. The programming environment is standards-compliant and aimed at performance, robustness, productivity and integration.
 
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.
 
Palm Toy Language - A toy PROLOG interpreter for Palm. First PROLOG in PalmPilot.
 
Prolog II+ - This compiler developed at the Laboratoire d'Informatique de Marseille allows processing infinite trees and 'equal'- and 'different'-type constraints, efficient control of program flow and modular application structure.
 
Prolog IV - This compiled constraint programming language is founded on the mathematical model developed by Colmerauer at the Laboratoire d'Informatique de Marseille and complies with the ISO standard.
 
Qu-Prolog - The Software Verification Research Centre (Univ. of Queensland) extended version of Prolog currently released under Linux and Solaris is designed primarily as a prototyping language and tactic language for theorem provers, including support for efficient higher-order programming and logic programming of interactive applications.
 
Quintus Prolog - The Swedish Institute for Computer Science's implementation of Prolog for UNIX and PC platforms is embeddable, integrable and commercial-strength.
 
Reform Prolog - a recursion-parallel implementation of Prolog. [Open Source]
 
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.
 
 
[ 1 2 ]
Help build the largest human-edited directory on the web.
  Submit a Site - Open Directory Project - Become an Editor  
About   Help   Content Filter   Terms   Privacy Policy

© 2018 whatUseek