Loop checks for logic programs with functions

DOI10.1016/S0304-3975(00)00197-3MaRDI QIDQ5958765zbMATH OpenOpenAlexFDO

Authors Yi-Dong Shen, Li Yan Yuan, Jia-Huai You

Publication date 3 March 2002

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(00)00197-3

zbMATH Keywords

logic programmingloop checking

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• An analysis of loop checking mechanisms for logic programs
• scientific article; zbMATH DE number 813263
• Redundancy elimination and loop checks for logic programs
• Generalizing completeness results for loop checks in logic programming
• Loop checking in partial deduction

Cites work

• A general criterion for avoiding infinite unfolding during partial deduction
• An analysis of loop checking mechanisms for logic programs
• Automatic finite unfolding using well-founded measures
• Controlling recursive inference
• Efficient loop detection in prolog using the tortoise-and-hare technique
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 3982556 (Why is no real title available?)
• scientific article; zbMATH DE number 1098500 (Why is no real title available?)
• scientific article; zbMATH DE number 970704 (Why is no real title available?)
• Linear tabulated resolution based on Prolog control strategy
• Loop checking in partial deduction
• Mixtus: An automatic partial evaluator for full Prolog
• Partial evaluation in logic programming
• Recursive query processing: The power of logic
• Redundancy elimination and loop checks for logic programs
• Tabled evaluation with delaying for general logic programs
• Tabulated resolution for the well-founded semantics
• Termination of logic programs: the never-ending story

Cited in

(5)

• An analysis of loop checking mechanisms for logic programs
• Generalizing completeness results for loop checks in logic programming
• A non-termination criterion for binary constraint logic programs
• Termination prediction for general logic programs
• scientific article; zbMATH DE number 813263 (Why is no real title available?)

Describes a project that uses

Uses Software

• XSB

This page was built for publication: Loop checks for logic programs with functions

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