computational linguistics. Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is intended primarily...

Prolog++ is an object-oriented toolkit for the Prolog logic programming language. It allows classes and class hierarchies to be created within Prolog...

languages (e.g., SQL, XQuery), regular expressions, logic programming (e.g. Prolog, Datalog, answer set programming), functional programming, configuration...

Visual Prolog, previously known as PDC Prolog and Turbo Prolog, is a strongly typed object-oriented extension of Prolog. It was marketed by Borland as...

problems in the domain. Major logic programming language families include Prolog, Answer Set Programming (ASP) and Datalog. In all of these languages, rules...

The syntax and semantics of Prolog, a programming language, are the sets of rules that define how a Prolog program is written and how it is interpreted...

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...

λProlog, also written lambda Prolog, is a logic programming language featuring polymorphic typing, modular programming, and higher-order programming. These...

SICStus Prolog is a proprietary, ISO-conforming implementation of the logic programming language Prolog. It is developed by the Swedish Institute of Computer...

implementation of the Prolog programming language developed at LIACC/Universidade do Porto and at COPPE Sistemas/UFRJ. Its Prolog engine is based in the...

B-Prolog was a high-performance implementation of the standard Prolog language with several extended features including matching clauses, action rules...

GNU Prolog (also called gprolog) is a compiler developed by Daniel Diaz with an interactive debugging environment for Prolog available for Unix, Windows...

probabilistic logic programming language that extends Prolog with probabilities. It minimally extends Prolog by adding the notion of a probabilistic fact, which...

a purely declarative logic programming language. It is related to both Prolog and Haskell. It features a strong, static, polymorphic type system, and...

declarative logic programming language. While it is syntactically a subset of Prolog, Datalog generally uses a bottom-up rather than top-down evaluation model...

BNR Prolog, also known as CLP(BNR), is a declarative constraint logic programming language based on relational interval arithmetic developed at Bell-Northern...

target for Prolog compilers. The purpose of compiling Prolog code to the more low-level WAM code is to make subsequent interpretation of the Prolog program...

implemented a language called Prolog (an abbreviation for PROgrammation en LOGique – French for "programming in logic"). Prolog programs are generically of...

predicate calculus. It includes the semantics of Prolog as a subset, but takes its syntax from the micro-PROLOG [es] of Logic Programming Associates and adds...

Comparison of Prolog implementations provides a reference for the relative feature sets and performance of different implementations of the Prolog computer...

similar to those written in Prolog, but there are some important differences: Order sensitivity and procedurality: In Prolog, program execution depends...

A prologue or prolog (from Ancient Greek πρόλογος prólogos, from πρό pró, "before" and λόγος lógos, "word") is an opening to a story that establishes the...

enhancement of the DPLL algorithm and, in principle, it always terminates (unlike Prolog query evaluation, which may lead to an infinite loop). In a more general...

Aix-Marseille University, and the creator of the logic programming language Prolog. Alain Colmerauer was born on 24 January 1941 in Carcassonne. He graduated...

In assembly language programming, the function prologue is a few lines of code at the beginning of a function, which prepare the stack and registers for...

language such as Prolog. It is closely related to the concept of attribute grammars / affix grammars. DCGs are usually associated with Prolog, but similar...

Report 003, which presented a Concurrent Prolog interpreter written in Prolog. Shapiro's work on Concurrent Prolog inspired a change in the direction of...

Dolby Pro Logic is a surround sound processing technology developed by Dolby Laboratories, designed to decode soundtracks encoded with Dolby Surround....

paradigm that includes languages based on formal logic, including Datalog and Prolog. This article describes the syntax and semantics of the purely declarative...

Q) then in Prolog we would code Q:-P (Q if P).) This states that all men are mortal and that Socrates is a man. Now we can ask the Prolog system about...