Toward a declarative semantics for infinite objects in logic programming

Publisher Website

30 June 1988

journal article
Published by Elsevier in The Journal of Logic Programming

Vol. 5 (2) , 151-164
https://doi.org/10.1016/0743-1066(88)90016-7

Abstract

No abstract available

Keywords

This publication has 6 references indexed in Scilit:

PARLOG: parallel programming in logic
ACM Transactions on Programming Languages and Systems, 1986
Top-down semantics of fair computations of logic programs
The Journal of Logic Programming, 1985
Closures and fairness in the semantics of programming logic
Theoretical Computer Science, 1984
Contributions to the Theory of Logic Programming
Journal of the ACM, 1982
Horn clause computability
BIT Numerical Mathematics, 1977
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM, 1976