Babcock University Research Portal

Prolog and its Evolution Description and Evaluation

Authors: ADEYEYE Joshua

Publication Type: Journal article

Journal: International Journal Of Innovative Research In Computer And Communication Engineering

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

ADEYEYE,J. . (2016). Prolog and its Evolution Description and Evaluation, 4 (), 17411-17411.

ADEYEYE,J. . "Prolog and its Evolution Description and Evaluation" 4, no (), (2016): 17411-17411.

ADEYEYE,J. and . (2016). Prolog and its Evolution Description and Evaluation, 4 (), pp17411-17411.

ADEYEYEJ, . Prolog and its Evolution Description and Evaluation. 2016, 4 ():17411-17411.

ADEYEYE,Joshua , . "Prolog and its Evolution Description and Evaluation", 4 . (2016) : 17411-17411.

A.Joshua , "Prolog and its Evolution Description and Evaluation" vol.4, no., pp. 17411-17411, 2016.

Access to Documents

Keywords

About Us

Admissions

Contact Us

Policies

ALUMNI

STUDENT POPULATION