Logic Programming
Michael Brady
Abstract
Michael Brady
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.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
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