Classes of terminating logic programs

DOI10.1017/S1471068402001400zbMATH Open1069.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

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

zbMATH Keywords

normdynamic schedulingcontrollogic programselection ruleuniversal terminationlevel mappingleft-termination

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (9)

• Terminating Evaluation of Logic Programs with Finite Three-Valued Models
• Logic + control: On program construction and verification
• Making assumptions in the automated derivation
• Termination of floating-point computations
• Title not available (Why is that?)
• On logic programs that always succeed.
• Contextual hypotheses and semantics of logic programs
• \(\exists\)-Universal termination of logic programs
• Program Development in Computational Logic

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)