Translation of logic programs into functional fixpoint equations
From MaRDI portal
Recommendations
- A program transformation from equational programs into logic programs
- Transformations of logic programs
- Transformations of logic programs
- An equational approach to logic programming
- From Logic to Functional Logic Programs
- Derivation of logic programs by functional methods
- Foundations of equational logic programming
- Transformation and debugging of functional logic programs
- scientific article; zbMATH DE number 3958699
- scientific article; zbMATH DE number 1407683
Cites work
- scientific article; zbMATH DE number 3874667 (Why is no real title available?)
- scientific article; zbMATH DE number 4033048 (Why is no real title available?)
- scientific article; zbMATH DE number 3338381 (Why is no real title available?)
- A lattice-theoretical fixpoint theorem and its applications
- Implementation of logical query languages for databases
- On compiling queries in recursive first-order databases
- The theory of languages
Cited in
(11)- Recursive queries and context-free graph grammars
- Functional translation of a calculus of capabilities
- Translations and similarity-based logic programming
- On the expected size of recursive datalog queries
- Indexical translation of tail-recursive functions
- Translating relational queries into iterative programs
- scientific article; zbMATH DE number 4053071 (Why is no real title available?)
- Compilation of set terms in the logic data language (LDL)
- History and basic features of the critical-pair/completion procedure
- Backchain iteration: Towards a practical inference method that is simple enough to be proved terminating, sound, and complete
- Fixpoint strategies for deductive databases
This page was built for publication: Translation of logic programs into functional fixpoint equations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1823723)
