Directory: Top/Computers/Programming/Languages/Prolog/Implementations

Top / Computers / Programming / Languages / Prolog / Implementations /

Reform Prolog
Recursion-parallel Single Program, Multiple Data (SPMD) implementation; assumes one sequential worker and arbitrary, fixed number parallel workers, each worker is process, can have more workers than processors. Successor: High Performance Erlang. [Open S
http://user.it.uu.se/~thomasl/reform.html
Uu.se ~ Site Info Whois Trace Route RBL Check

Trinc-Prolog, an object oriented prolog for Windows
Trinc-Prolog is a new development tool for the prolog language. Trinc-Prolog supports the ISO Prolog standard and has extended the prolog language with innovative object oriented features. TPWIN,an OO class library is available to develop Windows applica
http://www.trinc-prolog.com/
Trinc-prolog.com ~ Site Info Whois Trace Route RBL Check

Logtalk
An object-oriented extension to the Prolog programming language. It integrates logic programming with object-oriented and event-driven programming. Compatible with most Prolog compilers. [Open source]
http://logtalk.org/
Logtalk.org ~ Site Info Whois Trace Route RBL Check

Visual Prolog
A full-featured programming environment is offered with all the facilities necessary to write mission-critical, commercial-grade applications. A freeware version is available.
http://www.visual-prolog.com/
Visual-prolog.com ~ Site Info Whois Trace Route RBL Check

EZY Prolog
A typed prolog interpreter, compatible with Visual Prolog, powrefull syntax checker with flow pattern analyser, GUI designer for declarative GUI, built-in functionality for ODBC, Winsock, regular expressions, text parsing, XML processing, HTML formatted
http://www.ezy-software.com/ezyprolog/Prolog_Inference_Engine/ezy_prolog_overview.htm
Ezy-software.com ~ Site Info Whois Trace Route RBL Check

INRIA wamcc
Predecessor to GNU Prolog. Compiles Prolog via GCC 2.x
ftp://ftp.inria.fr/INRIA/Projects/contraintes/wamcc/
Inria.fr ~ Site Info Whois Trace Route RBL Check

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
http://www.itee.uq.edu.au/~pjr/HomePages/QuPrologHome.html
Uq.edu.au ~ Site Info Whois Trace Route RBL Check

CU-Prolog
Constraint Unification Prolog (CUP) developed by the Institute for New Generation Computer Technology (ICOT), Japan. Originally written in C under Unix, MacCup is for Macintosh, DJCup for MS-DOS, with both implementations released as free software.
ftp://ftp.icot.or.jp/pub/cuprolog/
Icot.or.jp ~ Site Info Whois Trace Route RBL Check

CMU Free/Shareware Prolog
CMU's AI repository offers a collection of Prolog implementations.
http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/0.html
Cmu.edu ~ Site Info Whois Trace Route RBL Check

B-Prolog
Versatile and efficient CLP system based on Prolog with extensions for programming concurrency, constraints and interactive graphics. Runs on: Windows 9x/NT/2000/XP, Linux, Mac, Solaris, HP-UX, FreeBSD, SonyNews, Aix. Free evaluation version is available
http://www.probp.com/
Probp.com ~ Site Info Whois Trace Route RBL Check