Efficient goal directed bottom-up evaluation of logic programs

DOI10.1016/S0743-1066(98)10024-9MaRDI QIDQ4719369zbMATH OpenOpenAlexFDO

Authors Michael Codish

Publication date 4 January 2000

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

Full work available at URL https://doi.org/10.1016/s0743-1066(98)10024-9

zbMATH Keywords

bottom-up evaluationmagic-set

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Magic sets with full sharing
• Magic templates: a spellbinding approach to logic programs
• State-saving transformations for efficient bottom-up evaluation of logic programs and rule-based systems
• Exploiting goal independence in the analysis of logic programs

Cited in

(9)

• State-saving transformations for efficient bottom-up evaluation of logic programs and rule-based systems
• scientific article; zbMATH DE number 1692896 (Why is no real title available?)
• Optimizing bottom-up evaluation of constraint queries
• Optimizing Fixpoint Evaluation of Logic Programs with Uncertainty
• scientific article; zbMATH DE number 512971 (Why is no real title available?)
• Magic sets with full sharing
• Exploiting goal independence in the analysis of logic programs
• Magic-sets for localised analysis of Java bytecode
• Efficient bottom-up execution of logic programs using abstract interpretation

This page was built for publication: Efficient goal directed bottom-up evaluation of logic programs

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