Word:

Prolog

Pro´log   Pronunciation: prō´lǒg
n. & v.1.Prologue.
n.1.(Computers) A declarative higher-level programming language in which instructions are written not as explicit procedural data-manipulation commands, but as logical statements. The language has built-in resolution procedures for logical inference.
Noun1.Prolog - a computer language designed in Europe to support natural language processing
(programming)Prolog - Programming in Logic or (French) Programmation en Logique. The first of the huge family of logic programming languages.

Prolog was invented by Alain Colmerauer and Phillipe Roussel at the University of Aix-Marseille in 1971. It was first implemented 1972 in ALGOL-W. It was designed originally for natural-language processing but has become one of the most widely used languages for artificial intelligence.

It is based on LUSH (or SLD) resolution theorem proving and unification. The first versions had no user-defined functions and no control structure other than the built-in depth-first search with backtracking. Early collaboration between Marseille and Robert Kowalski at University of Edinburgh continued until about 1975.

Early implementations included C-Prolog, ESLPDPRO, Frolic, LM-Prolog, Open Prolog, SB-Prolog, UPMAIL Tricia Prolog. In 1998, the most common Prologs in use are Quintus Prolog, SICSTUS Prolog, LPA Prolog, SWI Prolog, AMZI Prolog, SNI Prolog.

ISO draft standard at Darmstadt, Germany. or UGA, USA.

See also negation by failure, Kamin's interpreters, Paradigms of AI Programming, Aditi.

A Prolog interpreter in Scheme. ftp://cpsc.ucalgary.ca/pub/prolog1.1.

A Prolog package from the University of Calgary features delayed goals and interval arithmetic. It requires Scheme with continuations.

["Programming in Prolog", W.F. Clocksin & C.S. Mellish, Springer, 1985].
PROgramming in LOGiclogic programing, logic programming, programing language, programming language
Translate Prolog to German, Translate Prolog to French
Browse
Prolific
Prolificacy
Prolifical
Prolificate
Prolification
Prolificness
proline
Prolix
Prolixious
Prolixity
Prolixly
Prolixness
Proll
Proller
Prolocutor
Prolocutorship
-- Prolog --
Prolog++
Prolog-2
Prolog-D-Linda
Prolog-II
Prolog-III
Prolog-Linda
Prolog/Mali
prologise
Prologize
Prologizer
Prologue
prologuize
Prolong
Prolongable
Prolongate
Prolongation
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home