Krzysztof R. Apt

Title: Krzysztof R. Apt

Main Research Question: How can logic programming and Prolog be used to solve problems more efficiently than traditional programming languages?

Methodology: The paper describes a tutorial on logic programming and Prolog, appropriate for a course on programming languages. It outlines the history of logic programming, provides an overview of the logic programming paradigm, and explains how equations can be solved using unification as atomic actions. It also discusses the structure of Prolog programs, the evaluation of arithmetic expressions, and control facilities.

Results: The paper presents a unification algorithm, a method for solving equations by finding the most general substitution that makes a given equation true. It also describes how Prolog approaches programming with multiple uses of a single program, logical variables, and meta-variables.

Implications: The paper suggests that logic programming and Prolog can provide a more efficient approach to problem-solving than traditional programming languages. The ability to use multiple uses of a single program, logical variables, and meta-variables can lead to more concise and expressive programs. Additionally, the use of unification as an atomic action can simplify the process of solving equations.

Link to Article: https://arxiv.org/abs/0107013v1 Authors: arXiv ID: 0107013v1