Babcock University Research Portal

Prolog and its Evolution, Description and Evaluation

Authors: ADEGBENJO Aderonke

Publication Type: Journal article

Journal:

ISSN Number:

Downloads

Views

Abstract

The name Prolog was chosen by Philippe Roussel as an abbreviation for programmation en logique (French for programming in logic). It was created around 1972 by Alain Colmerauer with Philippe Roussel, based on Robert Kowalski's procedural interpretation of Horn clauses. It was motivated in part by the desire to reconcile the use of logic as a declarative knowledge representation language with the procedural representation of knowledge that was popular in North America in the late 1960s and early 1970s. According to Robert Kowalski, the first Prolog system was developed in 1972 by Colmerauer and Phillipe Roussel. The first implementations of Prolog were interpreters. However, David H. D. Warren created the Warren Abstract Machine, an early and influential Prolog compiler which came to define the "Edinburgh Prolog" dialect which served as the basis for the syntax of most modern implementations. European AI researchers favored Prolog while Americans favored Lisp, reportedly causing many nationalistic debates on the merits of the languages. Much of the modern development of Prolog came from the impetus of the Fifth Generation Computer Systems project (FGCS), which developed a variant of Prolog named Kernel Language for its first operating system. This study discusses the rules, design, syntax and queries of PROLOG and includes an evaluation of the language following from the earlier discussions in the study.

Access to Documents

External Link
Download
Digital Object Identifier

Keywords

ADEGBENJO,A. . (0000). Prolog and its Evolution, Description and Evaluation, 0 (), 0-0.

ADEGBENJO,A. . "Prolog and its Evolution, Description and Evaluation" 0, no (), (0000): 0-0.

ADEGBENJO,A. and . (0000). Prolog and its Evolution, Description and Evaluation, 0 (), pp0-0.

ADEGBENJOA, . Prolog and its Evolution, Description and Evaluation. 0000, 0 ():0-0.

ADEGBENJO,Aderonke , . "Prolog and its Evolution, Description and Evaluation", 0 . (0000) : 0-0.

A.Aderonke , "Prolog and its Evolution, Description and Evaluation" vol.0, no., pp. 0-0, 0000.

Access to Documents

Keywords

About Us

Admissions

Contact Us

Policies

ALUMNI

STUDENT POPULATION