From Logic to Functional Logic Programs

DOI10.1017/S1471068422000187MaRDI QIDQ5038460zbMATH OpenFDO

Authors Michael Hanus

Publication date 30 September 2022

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2205.06841

zbMATH Keywords

functional logic programmingnarrowing strategiesresolutiontransformation

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Transformation of logic programs to FP programs based on dataflows
• Derivation of logic programs by functional methods
• Rules + strategies for transforming lazy functional logic programs
• scientific article; zbMATH DE number 4043306
• Overlapping Rules and Logic Variables in Functional Logic Programs

Cites work

• A needed narrowing strategy
• A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems
• A technique for doing lazy evaluation in logic
• An approach to declarative programming based on a rewriting logic
• An overview of Ciao and its design philosophy
• Analysis of residuating logic programs
• Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
• Compiling control
• Data type inference for logic programming
• Declarative processing of semistructured web data
• Declaring numbers
• Default rules for Curry
• Functional Logic Programming: From Theory to Curry
• scientific article; zbMATH DE number 1630028 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 512892 (Why is no real title available?)
• scientific article; zbMATH DE number 1088020 (Why is no real title available?)
• scientific article; zbMATH DE number 194511 (Why is no real title available?)
• scientific article; zbMATH DE number 1889386 (Why is no real title available?)
• scientific article; zbMATH DE number 2090532 (Why is no real title available?)
• scientific article; zbMATH DE number 788036 (Why is no real title available?)
• Mercury
• Term Rewriting and All That
• The execution algorithm of mercury, an efficient purely declarative logic programming language
• Towards Typed Prolog

Cited in

(8)

• Translation of logic programs into functional fixpoint equations
• scientific article; zbMATH DE number 77950 (Why is no real title available?)
• scientific article; zbMATH DE number 1336275 (Why is no real title available?)
• scientific article; zbMATH DE number 512893 (Why is no real title available?)
• Functional Logic Programming: From Theory to Curry
• From process logic to program logic
• A Virtual Machine for Functional Logic Computations
• Nominal equational narrowing: rewriting for unification in languages with binders

Describes a project that uses

Uses Software

• Mercury
• Haskell
• KiCS2
• TOY
• Curry

This page was built for publication: From Logic to Functional Logic Programs

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