An equivalence preserving first order unfold/fold transformation system

DOI10.1007/3-540-53162-9_38zbMath1493.68076OpenAlexW4233875447MaRDI QIDQ5096195

Taisuke Sato

Publication date: 16 August 2022

Published in: Algebraic and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-53162-9_38

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17)

Related Items (1)

Logic program synthesis from first-order logic specifications

Cites Work

• Unnamed Item
• Unnamed Item
• First order compiler: A deterministic logic program synthesis algorithm
• Equational problems and disunification
• Model theory
• The recursion-theoretic complexity of the semantics of predicate logic as a programming language
• Completed logic programs and their consistency
• Negation in logic programming
• Derivation of Logic Programs
• A Transformation System for Developing Recursive Programs

This page was built for publication: An equivalence preserving first order unfold/fold transformation system