scientific article; zbMATH DE number 1420816

MaRDI QIDQ4944882zbMATH OpenFDO

Authors Wim Van Hoof, Bern Martens, Danny De Schreye, K. De Vlaminck

Publication date 22 March 2000

zbMATH Keywords

logic programs

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1222414
• Basic transformation operations which preserve computed answer substitutions of logic programs
• Publication:4506395
• Derivation of efficient logic programs by specialization and reduction of nondeterminism
• Supporting Transformations for the Partial Evaluation of Logic Programs

Cited in

(14)

• State-saving transformations for efficient bottom-up evaluation of logic programs and rule-based systems
• scientific article; zbMATH DE number 1696791 (Why is no real title available?)
• scientific article; zbMATH DE number 25188 (Why is no real title available?)
• scientific article; zbMATH DE number 1222414 (Why is no real title available?)
• scientific article; zbMATH DE number 1332628 (Why is no real title available?)
• Optimizing general chain programs
• Supporting Transformations for the Partial Evaluation of Logic Programs
• scientific article; zbMATH DE number 1973221 (Why is no real title available?)
• scientific article; zbMATH DE number 1497831 (Why is no real title available?)
• scientific article; zbMATH DE number 1508931 (Why is no real title available?)
• scientific article; zbMATH DE number 1420811 (Why is no real title available?)
• Predicate specialization for definitional higher-order logic programs
• Compiling bottom-up and mixed derivations into top-down executable logic programs
• Derivation of efficient logic programs by specialization and reduction of nondeterminism

This page was built for publication:

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