Toward a declarative semantics for infinite objects in logic programming

DOI10.1016/0743-1066(88)90016-7MaRDI QIDQ3787447zbMATH OpenOpenAlexFDO

Authors 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

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3888910
• scientific article; zbMATH DE number 3978355
• scientific article; zbMATH DE number 139622
• Completions of perpetual logic programs
• scientific article; zbMATH DE number 1670488

Cited in

(13)

• Completions of perpetual logic programs
• scientific article; zbMATH DE number 3978355 (Why is no real title available?)
• scientific article; zbMATH DE number 683344 (Why is no real title available?)
• scientific article; zbMATH DE number 1670488 (Why is no real title available?)
• Computing Minimal Axiomatizations in Godel Propositional Logic
• Semantics of infinite tree logic programming
• An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations.
• Logic programming with infinite sets
• Verifying Properties of Infinite Sequences of Description Logic Actions
• On Greatest Fixpoint Semantics of Logic Programming
• Declarative modeling of the operational behavior of logic languages
• Nondeterminism and infinite computations in constraint programming
• scientific article; zbMATH DE number 3888910 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3787447)