The loop absorption and the generalization strategies for the development of logic programs and partial deduction

DOI10.1016/0743-1066(93)90025-CMaRDI QIDQ5286919zbMATH OpenFDO

Authors Maurizio Proietti, Alberto Pettorossi

Publication date 1993

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

zbMATH Keywords

program transformation

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 440117
• Publication:4506395
• scientific article; zbMATH DE number 1023017
• Basic transformation operations which preserve computed answer substitutions of logic programs

Cited in

(7)

• Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies
• Unfold/fold transformations for disjunctive logic programs
• Derivation of efficient logic programs by specialization and reduction of nondeterminism
• On transformations into linear database logic programs
• Things to know when implementing KBO
• Linearisability on Datalog programs
• Analysis and Transformation of Constrained Horn Clauses for Program Verification

This page was built for publication: The loop absorption and the generalization strategies for the development of logic programs and partial deduction

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