Toward a declarative semantics for infinite objects in logic programming

DOI10.1016/0743-1066(88)90016-7zbMath0644.68025OpenAlexW1999459111MaRDI QIDQ3787447

William G. Golson

Publication date: 1988

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0743-1066(88)90016-7

zbMATH Keywords

fixed point characterizationminimal infinite objectsnonterminating logic program

Mathematics Subject Classification ID

Related Items (4)

Declarative modeling of the operational behavior of logic languages ⋮ Nondeterminism and infinite computations in constraint programming ⋮ Completions of perpetual logic programs ⋮ An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations.

This page was built for publication: Toward a declarative semantics for infinite objects in logic programming