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

DOI10.1016/0743-1066(93)90025-CzbMATH Open0778.68025MaRDI QIDQ5286919FDOQ5286919

Authors: Maurizio Proietti, Alberto Pettorossi 

Publication date: 1993

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

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

zbMATH Keywords

program transformation

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (7)

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

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)