Select a tag to browse associated projects and drill deeper into the tag cloud.
SWI-Prolog offers a comprehensive Free Software Prolog environment, licensed under the Lesser GNU Public License. Together with its graphics toolkit XPCE, its development started in 1987 and has been driven by the needs for real-world applications. These days SWI-Prolog is widely used in research ... [More]
GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver.
This project is an university work for the discipline of Artificial Intelligence. It is a collection of algorithms to solve the 15 puzzle game, together with functions to compare them.
XSB is a Logic Programming and Deductive Database system for Unix and Windows. It is being developed at a number of institutions, including the Computer Science Department of Stony Brook University, Universidade Nova de Lisboa, XSB, Inc, Katholieke Universiteit Leuven, and Uppsala Universitet.
Logtalk is an object-oriented logic programming language that can use most Prolog implementations as a back-end compiler. As a multi-paradigm language, it includes support for both prototypes and classes, protocols (interfaces), component-based programming through category-based composition ... [More]
IntroductionScalaLogic is a light-weight Prolog interpreter written in Scala. It can parse and execute Prolog code or it can write logic programs in a Prolog-like DSL language inside Scala. Emphasis is on simplicity, not performance. Most standard library predicates are not supported but can ... [More]
ConceptBase is a multi-user deductive and object-oriented database system for metamodeling and method engineering. The system includes a graphical client that builds upon the logic-based features of the ConceptBase server. The data model is O-Telos.