1989•The Irish Journal of PsychologyRequires access

Logic Programming

Michael Brady

Open publisher page 0 citations

Abstract

Logic Programming attempts to marry mathematical logic and computer programming at a very high level. The most popular of the Logic Programming languages is Prolog, which was developed in the early 1970s. Some of the motivations and concepts behind Logic Programming, as well as Prolog itself, are introduced and discussed. A powerful trend in computing is towards ‘parallelism’ — the simultaneous use of many separate computers on a common task. Some current attempts to develop parallel Logic Programming Languages are examined.

About this research paper

What this paper is about

Logic Programming attempts to marry mathematical logic and computer programming at a very high level. The most popular of the Logic Programming languages is Prolog, which was developed in the early 1970s. Some of the motivations and concepts behind Logic Programming, as well as Prolog itself, are introduced and discussed. A powerful trend in computing is towards ‘parallelism’ — the simultaneous use of many separate computers on a common task. Some current attempts to develop parallel Logic Programming Languages are examined.

Why it matters

A significance statement is not available in the OpenAlex record.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

Logic Programming attempts to marry mathematical logic and computer programming at a very high level. The most popular of the Logic Programming languages is Prolog, which was developed in the early 1970s. Some of the motivations and concepts behind Logic Programming, as well as Prolog itself, are introduced and discussed. A powerful trend in computing is towards ‘parallelism’ — the simultaneous use of many separate computers on a common task. Some current attempts to develop parallel Logic Programming Languages are examined.

Key concepts: Prolog, Logic programming, Programming language, Functional logic programming, Computer science, Inductive programming, Horn clause, Declarative programming

Related papers

Back to paper searchBrowse research topicsOriginal source
Logic Programming — Research Paper | ScholarLens