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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

micro-PROLOG interpreter was soon followed by micro-PROLOG Professional one of the first Prolog implementations for the IBM PC running MS-DOS. micro-PROLOG...

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

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

(a contemporary dialect of Lisp), Rebol (also its successor Red), Refal, Prolog, and possibly Julia (see the section “Implementation methods” for more details)...

Koudekerke) is a Dutch computer scientist. He initiated the SWI-Prolog implementation of the Prolog programming language in 1987 while employed at the University...