Transformations of logic programs

DOI10.1016/0743-1066(84)90028-1MaRDI QIDQ6483351zbMATH OpenFDO

Authors Olga Stepankova, Petr Stepanek

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

Full work available at URL https://doi.org/10.1016/0743-1066(84)90028-1

zbMATH Keywords

transformationslogic programalternationcomputation treesmeasures of complexityprogram complexitynormal form of programs

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3890698
• Transformations of logic programs
• Grammar-related transformations of logic programs
• Basic transformation operations which preserve computed answer substitutions of logic programs
• On the transformation of logic programs with instantiation based computation rules

Cited in

(34)

• Thompson transformations for IF-logic
• Structural resolution for logic programming
• Translations and similarity-based logic programming
• scientific article; zbMATH DE number 4033135 (Why is no real title available?)
• On transformations into linear database logic programs
• Compiling associativity into logic programs
• scientific article; zbMATH DE number 1902048 (Why is no real title available?)
• Building PMCFG Parsers as Datalog Program Transformations
• scientific article; zbMATH DE number 936828 (Why is no real title available?)
• On the efficiency of transforming database logic programs
• A Model Transformation Language Based on Logic Programming
• A Kripke logical relation for effect-based program transformations
• Approximating any logic program by a CS-program
• A program transformation from equational programs into logic programs
• A transformational characterization of if-then-else
• scientific article; zbMATH DE number 4018389 (Why is no real title available?)
• scientific article; zbMATH DE number 4080965 (Why is no real title available?)
• scientific article; zbMATH DE number 2090114 (Why is no real title available?)
• scientific article; zbMATH DE number 7300405 (Why is no real title available?)
• Prolog program transformations and tree manipulation algorithms
• Control generation by program transformation
• Grammar-related transformations of logic programs
• Manipulating tree tuple languages by transforming logic programs
• Alternation and the computational complexity of logic programs
• Transformations of logic programs
• scientific article; zbMATH DE number 1696791 (Why is no real title available?)
• Transformation of logic programs to FP programs based on dataflows
• Speedup of logic programs by binarization and partial deduction
• Translation of logic programs into functional fixpoint equations
• scientific article; zbMATH DE number 3890698 (Why is no real title available?)
• scientific article; zbMATH DE number 1615256 (Why is no real title available?)
• scientific article; zbMATH DE number 1973217 (Why is no real title available?)
• On the transformation of logic programs with instantiation based computation rules
• Logical query optimization by proof-tree transformation

This page was built for publication: Transformations of logic programs

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