Prolog - meaning and definition. What is Prolog
Online Dictionary

What (who) is Prolog - definition

Prolog programming language; Prolog (programming language); ISO/IEC 13211-1; PROLOG; PROLOG programming language; Prolog II; ISO/IEC 13211-2; Prologue language; SICStus Prolog; SICStus; Criticism of Prolog; ISO/IEC 13211; Prolog language; ISO-Prolog; ISO Prolog; Design patterns in Prolog; Prolog-MPI; Meta-interpreters in Prolog

·noun & ·v Prologue.
<programming> 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 {prolog/standard/">Darmstadt, Germany (}. or UGA, USA ( See also negation by failure, Kamin's interpreters, Paradigms of AI Programming, Aditi. A Prolog interpreter in Scheme. {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]. (2001-04-01)
¦ noun Computing a high-level computer programming language first devised for artificial intelligence applications.
1970s: from the first elements of programming and logic.



Prolog is a logic programming language associated with artificial intelligence and computational linguistics.

Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is intended primarily as a declarative programming language: the program logic is expressed in terms of relations, represented as facts and rules. A computation is initiated by running a query over these relations.

The language was developed and implemented in Marseille, France, in 1972 by Alain Colmerauer with Philippe Roussel, based on Robert Kowalski's procedural interpretation of Horn clauses at University of Edinburgh.

Prolog was one of the first logic programming languages and remains the most popular such language today, with several free and commercial implementations available. The language has been used for theorem proving, expert systems, term rewriting, type systems, and automated planning, as well as its original intended field of use, natural language processing. Modern Prolog environments support the creation of graphical user interfaces, as well as administrative and networked applications.

Prolog is well-suited for specific tasks that benefit from rule-based logical queries such as searching databases, voice control systems, and filling templates.

Examples of use of Prolog
1. Unilever is operating through Prolog, which calls itself a "social marketing" company.
2. Prolog CEO Israela Herbelin says the company is creating a new theme.