Magic sets with full sharing

DOI10.1016/S0743-1066(96)00119-7MaRDI QIDQ4365065zbMATH OpenOpenAlexFDO

Authors Paulo J. Azevedo

Publication date 14 December 1997

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

Full work available at URL https://doi.org/10.1016/s0743-1066(96)00119-7

zbMATH Keywords

magic sets

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Efficient goal directed bottom-up evaluation of logic programs
• Magic templates: a spellbinding approach to logic programs
• Top-down and bottom-up evaluation procedurally integrated
• An analysis of magic sets and related optimization strategies for logic queries

Cited in

(4)

• Loop checking in SLD-derivations by well-quasi-ordering of goals
• On the correctness of pull-tabbing
• Top-down and bottom-up evaluation procedurally integrated
• Efficient goal directed bottom-up evaluation of logic programs

This page was built for publication: Magic sets with full sharing

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