Search results
Results from the Health.Zone Content Network
Comparison of Prolog implementations. The following Comparison of Prolog implementations provides a reference for the relative feature sets and performance of different implementations of the Prolog computer programming language. A comprehensive discussion of the most significant Prolog systems is presented in an article published in the 50 ...
SWI-Prolog is a free implementation of the programming language Prolog, commonly used for teaching and semantic web applications. It has a rich set of features, libraries for constraint logic programming, multithreading, unit testing, GUI, interfacing to Java, ODBC and others, literate programming, a web server, SGML, RDF, RDFS, developer tools (including an IDE with a GUI debugger and GUI ...
Quintus Prolog is a proprietary implementation of the Prolog programming language based on the Warren Abstract Machine. Originally developed by Quintus Computer Science, it is currently maintained by SICS. It was long known as the most highly-performing implementation of Prolog, and the early 1990s, it defined a de facto standard for Prolog ...
YAP is an open-source, high-performance implementation of the Prolog programming language developed at LIACC/ Universidade do Porto and at COPPE Sistemas/ UFRJ. Its Prolog engine is based in the WAM ( Warren Abstract Machine ), with several optimizations for better performance. YAP follows the Edinburgh tradition, and is largely compatible with ...
It was originally developed at the Arity Corporation by Peter Gabel, Paul Weiss and Jim Greene. [1] Arity/Prolog32 allows a developer to create and execute Prolog programs for Windows, which are also operable on Linux using WINE. The software includes a compiler and interpreter written in Prolog, C, Assembler. The interpreter provides debugging ...
SICStus is an ISO-conforming Prolog implementation based on the Warren Abstract Machine, which has a strong focus on performance and stability. [1] It also provides support for web-based applications. SICStus supports several constraint domains, incorporating an externally developed implementation of the constraint logic programming library CLP ...
ProbLog is a probabilistic logic programming language that extends Prolog with probabilities. [1] [2] [3] It minimally extends Prolog by adding the notion of a probabilistic fact, which combines the idea of logical atoms and random variables. Similarly to Prolog, ProbLog can query an atom. While Prolog returns the truth value of the queried ...
Prolog++. Prolog++ is an object-oriented toolkit for the Prolog logic programming language. It allows classes and class hierarchies to be created within Prolog programs. Prolog++ was developed by LPA and first released in 1989 for MS-DOS PCs. Support for other platforms was added, and a second version was released in 1995.