Classes of terminating logic programs

DOI10.1017/S1471068402001400zbMATH1069.68537OpenAlexW2114898754MaRDI QIDQ4452620FDOQ4452620

Authors Dino Pedreschi, Jan-Georg Smaus, Salvatore Ruggieri

Publication date 1 March 2004

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL http://journals.cambridge.org/action/displayIssue?jid=TLP&volumeId=2&issueId=03

zbMATH Keywords

normdynamic schedulingcontrollogic programselection ruleuniversal terminationlevel mappingleft-termination

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Program Development in Computational Logic
• Strong termination of logic programs
• Termination of logic programs: the never-ending story
• Logic Programming
• Proving termination of general Prolog programs

Cited in

(9)

• On logic programs that always succeed.
• \(\exists\)-Universal termination of logic programs
• Termination of floating-point computations
• scientific article; zbMATH DE number 4191092 (Why is no real title available?)
• Logic + control: on program construction and verification
• Program Development in Computational Logic
• Making assumptions in the automated derivation
• Terminating evaluation of logic programs with finite three-valued models
• Contextual hypotheses and semantics of logic programs

This page was built for publication: Classes of terminating logic programs

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