Fair Derivations in Logic Programming: Operational and Greatest Fixpoint Semantics

Article type: Research Article

Authors: Nait Abdallah, Mohand-Areski

Affiliations: Department of Computer Science, University of Western Ontario, London, Ontario, Canada N6A 5B7

Abstract: Using topological methods, we study the operational and greatest fixpoint semantics of infinite computations in logic programming. We show the equivalence of the operational and greatest fix point semantics in the case of fair derivations. We give some canonical partition, and soundness and completeness results which generalize already known results about the finitary case. Since fair derivations are a generalization of successful derivations, we thus give a uniform treatment of all meaningful computations in logic programming.

DOI: 10.3233/FI-1987-10303

Journal: Fundamenta Informaticae, vol. 10, no. 3, pp. 247-307, 1987