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

DOI10.1016/0743-1066(93)90025-CzbMath0778.68025MaRDI QIDQ5286919

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)

Related Items (6)

Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies ⋮ Unfold/fold transformations for disjunctive logic programs ⋮ Linearisability on Datalog programs ⋮ Things to know when implementing KBO ⋮ Analysis and Transformation of Constrained Horn Clauses for Program Verification ⋮ 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