Alma-0 Alma-0 is a multi-paradigm computer programming language.
CHIP (programming language) CHIP (Constraint Handling in Prolog) is a constraint logic programming language developed by M. Dincbas and alias in 1985 at ECRC, initially using a Prolog language interface.
Ciao (programming language) Ciao is a general-purpose programming language which supports logic, constraint, functional, higher-order, and object-oriented programming styles.
CLACL (programming language) CLACL (representing CLAC-Language where CLAC stands for Logical Composition with the Assistance of Computers) is the result of a theoretical research, still in progress, which aims to provide a ...
CycL CycL in computer science and artificial intelligence is an ontology language used by Doug Lenat's Cyc artificial intelligence project.
Datalog Datalog is a truly declarative logic programming language that syntactically is a subset of Prolog.
Datomic Datomic is a distributed database and implementation of Datalog on Clojure.
DLV The DLV system is a disjunctive logic programming system, implementing the stable model semantics under the Answer set programming paradigm.
ECLiPSe ECLiPSe is a software system for the development and deployment of Constraint Programming applications, e.g. in the areas of optimization, planning, scheduling, resource allocation, timetabling,...
F-logic F-logic (frame logic) is a knowledge representation and ontology language.
Flora-2 Flora-2 is an open source rule-based system for knowledge representation and reasoning.
Fril Fril is a programming language for first-order predicate calculus.
FuzzyCLIPS FuzzyCLIPS is a fuzzy logic extension of the CLIPS (C Language Integrated Production System) expert system shell from NASA. It was developed by the Integrated Reasoning Group of the Institute fo...
Gödel (programming language) Gödel is a general-purpose, declarative programming language based on one of the four main programming paradigms, namely, logic programming.
HiLog HiLog is a programming logic with higher-order syntax, which allows arbitrary terms to appear in predicate and function positions.
Janus (programming language) The name Janus refers to at least two computer programming languages or partial descriptions of possible computer programing languages: Janus is a computer programming language partially d...
Jekejeke Prolog Jekejeke Prolog is an interpreter only implementation of Prolog written in 100% Java.
Logtalk Logtalk is an object-oriented logic programming language that extends and leverages the Prolog language with a feature set suitable for programming in the large.
Maude system The Maude system is an implementation of rewriting logic developed at SRI International.
Mozart Programming System The Mozart Programming System is a multiplatform implementation of the Oz programming language, developed by an international group, the Mozart Consortium, which originally consisted of Saarland...
Oz (programming language) Oz is a multiparadigm programming language, developed in the Programming Systems Lab at Université catholique de Louvain, for programming language education.
Parlog Parlog is a logic programming language designed for efficient utilization of parallel computer architectures.
Planner (programming language) Planner (often seen in publications as "PLANNER" although it is not an acronym) is a programming language designed by Carl Hewitt at MIT, and first published in 1969.
PROGOL Progol is an implementation of Inductive Logic Programming used in computer science that combines "Inverse Entailment" with "general-to-specific search" through a refinement graph.
Prova Prova is an open source programming language that combines Prolog with Java.
Rebeca Modeling Language Rebeca (acronym of Reactive Objects Language) is an actor-based modeling language with a formal foundation, designed in an effort to bridge the gap between formal verification approaches and rea...
ROOP (programming language) ROOP is a multiparadigm programming language targeted at AI applications created at the Chengdu University of China.
SWI-Prolog SWI-Prolog is an open source implementation of the programming language Prolog, commonly used for teaching and semantic web applications.
ToonTalk ToonTalk is a computer programming system intended to be programmed by children.
Transaction logic Transaction Logic is an extension of predicate logic that accounts in a clean and declarative way for the phenomenon of state changes in logic programs and databases.
Twelf Twelf is an implementation of the logical framework LF. It is used for logic programming and for the formalization of programming language theory.
Visual Prolog Visual Prolog, also formerly known as PDC Prolog and Turbo Prolog, is a strongly typed object-oriented extension of Prolog.
XSB XSB is the name of a dialect of the Prolog programming language and its implementation developed at Stony Brook University in collaboration with the Katholieke Universiteit Leuven, the New Unive...
ΛProlog λProlog, also written lambda Prolog, is a logic programming language featuring polymorphic typing, modular programming, and higher-order programming.
λProlog λProlog, also written lambda Prolog, is a logic programming language featuring polymorphic typing, modular programming, and higher-order programming.