Transformation of logic programs: Foundations and techniques
From MaRDI portal
Publication:4305629
DOI10.1016/0743-1066(94)90028-0zbMath0942.68528OpenAlexW1988185893MaRDI QIDQ4305629
Maurizio Proietti, Alberto Pettorossi
Publication date: 14 August 2000
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0743-1066(94)90028-0
Related Items
Unfold/fold transformations for disjunctive logic programs, Linearisability on Datalog programs, Rules + strategies for transforming lazy functional logic programs, Abstracting Models from Execution Traces for Performing Formal Verification, Explanations as programs in probabilistic logic programming, An integrated framework for the diagnosis and correction of rule-based programs, On Completeness of Logic Programs, A Survey of the Proof-Theoretic Foundations of Logic Programming, Analysis and Transformation of Constrained Horn Clauses for Program Verification, Inductive equivalence in clausal logic and nonmonotonic logic programming, Learning efficient logic programs, Dialectic proof procedures for assumption-based, admissible argumentation, On Inductive Proofs by Extended Unfold/Fold Transformation Rules, Transformations of CLP modules, Introduction to the special issue on computational logic for verification, Predicate Pairing for program verification, Abstract conjunctive partial deduction for the analysis and compilation of coroutines, Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding, Optimization schemas for parallel implementation of non‐deterministic languages and systems, A framework for computing finite SLD trees, On Negative Unfolding in the Answer Set Semantics, Transforming constraint logic programs, Some (in)translatability results for normal logic programs and propositional theories, An improved reductant calculus using fuzzy partial evaluation techniques, A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation, Models and emerging trends of concurrent constraint programming