Functional Logic Programming: From Theory to Curry

DOI10.1007/978-3-642-37651-1_6MaRDI QIDQ4916076zbMATH OpenOpenAlexFDO

Authors Michael Hanus

Publication date 19 April 2013

Published in Programming Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-37651-1_6

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18)

Recommendations

• From Logic to Functional Logic Programs
• A domain-theoretic approach to functional and logic programming
• scientific article; zbMATH DE number 1688813
• scientific article; zbMATH DE number 1407683
• scientific article; zbMATH DE number 194511
• Derivation of logic programs by functional methods
• Functorial Semantics as a Unifying Perspective on Logic Programming
• Functional logic programming in Maude

Cites work

• A compositional semantic basis for the analysis of equational Horn programs
• A debugging scheme for functional logic programs
• A needed narrowing strategy
• A proof theoretic approach to failure in functional logic programming
• A Virtual Machine for Functional Logic Computations
• An approach to declarative programming based on a rewriting logic
• Analyses of unsatisfiability for equational logic programming
• Analysis of residuating logic programs
• Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
• Conditional rewrite rules: Confluence and termination
• Constraint functional logic programming over finite domains
• Declarative processing of semistructured web data
• Declarative Programming with Function Patterns
• Dynamic predicates in functional logic programs
• Dynamic slicing of lazy functional programs based on redex trails
• Evaluation strategies for functional logic programming
• Foundations of equational logic programming
• Functional and Logic Programming
• Functional and Logic Programming
• Functional and Logic Programming
• FUNCTIONAL PEARL Concurrent distinct choices
• Higher-order narrowing with definitional trees
• scientific article; zbMATH DE number 1630028 (Why is no real title available?)
• scientific article; zbMATH DE number 1688813 (Why is no real title available?)
• scientific article; zbMATH DE number 1691458 (Why is no real title available?)
• scientific article; zbMATH DE number 1692898 (Why is no real title available?)
• scientific article; zbMATH DE number 1692900 (Why is no real title available?)
• scientific article; zbMATH DE number 1692905 (Why is no real title available?)
• scientific article; zbMATH DE number 1696589 (Why is no real title available?)
• scientific article; zbMATH DE number 1696604 (Why is no real title available?)
• scientific article; zbMATH DE number 1696777 (Why is no real title available?)
• scientific article; zbMATH DE number 5007864 (Why is no real title available?)
• scientific article; zbMATH DE number 3947593 (Why is no real title available?)
• scientific article; zbMATH DE number 193539 (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 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 1942451 (Why is no real title available?)
• scientific article; zbMATH DE number 1942452 (Why is no real title available?)
• scientific article; zbMATH DE number 1952947 (Why is no real title available?)
• scientific article; zbMATH DE number 1954119 (Why is no real title available?)
• scientific article; zbMATH DE number 826303 (Why is no real title available?)
• scientific article; zbMATH DE number 1407673 (Why is no real title available?)
• scientific article; zbMATH DE number 1420819 (Why is no real title available?)
• scientific article; zbMATH DE number 1420822 (Why is no real title available?)
• scientific article; zbMATH DE number 969074 (Why is no real title available?)
• Implementing relational specifications in a constraint functional logic language
• Kernel-LEAF: A logic plus functional language
• Lazy narrowing: strong completeness and eager variable elimination
• Leftmost outside-in narrowing calculi
• Logic Programming
• Logic programming with functions and predicates: The language Babel
• Narrowing and rewriting logic: from foundations to applications
• Nondeterministic algebraic specifications and nonconfluent term rewriting
• On a Tighter Integration of Functional and Logic Programming
• Operational semantics for declarative multi-paradigm languages
• Overlapping Rules and Logic Variables in Functional Logic Programs
• Programming in equational logic: Beyond strong sequentiality
• Programming Languages and Systems
• Reduction strategies for declarative programming
• Run-Time Profiling of Functional Logic Programs
• Specialization of functional logic programs based on needed narrowing
• Term Rewriting and All That
• The execution algorithm of mercury, an efficient purely declarative logic programming language
• The integration of functions into logic programming: From theory to practice
• Towards translating embedded Curry to C
• Truly concurrent constraint programming

Cited in

(48)

• Modelling the combination of functional and logic programming languages
• Algeo: an algebraic approach to reversibility
• A partial evaluation framework for order-sorted equational programs modulo axioms
• A new functional-logic compiler for Curry: Sprite
• CurryCheck: checking properties of Curry programs
• Operational semantics for declarative multi-paradigm languages
• Transforming Boolean equalities into constraints
• scientific article; zbMATH DE number 1630028 (Why is no real title available?)
• scientific article; zbMATH DE number 1688813 (Why is no real title available?)
• scientific article; zbMATH DE number 1691458 (Why is no real title available?)
• scientific article; zbMATH DE number 1692898 (Why is no real title available?)
• Towards translating embedded Curry to C
• Equivalence of two formal semantics for functional logic programs
• Implementing relational specifications in a constraint functional logic language
• Towards a parallel virtual machine for functional logic programming
• scientific article; zbMATH DE number 6476783 (Why is no real title available?)
• On a Tighter Integration of Functional and Logic Programming
• Multi-paradigm Declarative Languages
• A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs
• scientific article; zbMATH DE number 4043306 (Why is no real title available?)
• scientific article; zbMATH DE number 4082960 (Why is no real title available?)
• scientific article; zbMATH DE number 4092731 (Why is no real title available?)
• scientific article; zbMATH DE number 1332654 (Why is no real title available?)
• scientific article; zbMATH DE number 512890 (Why is no real title available?)
• scientific article; zbMATH DE number 1942452 (Why is no real title available?)
• scientific article; zbMATH DE number 2036335 (Why is no real title available?)
• Default rules for Curry
• FUNCTIONAL PEARL Concurrent distinct choices
• scientific article; zbMATH DE number 1439390 (Why is no real title available?)
• Needed computations shortcutting needed steps
• A three-valued semantics for typed logic programming
• From Logic to Functional Logic Programs
• Symbolic analysis of Maude theories with Narval
• Implementing functional logic languages using multiple threads and stores
• Declarative Programming with Function Patterns
• Functional logic programming in Maude
• Declaring numbers
• Termination of Narrowing in Left-Linear Constructor Systems
• Compiling collapsing rules in certain constructor systems
• From Boolean equalities to constraints
• FPL : Functional plus logic programming an integration of the FP and Prolog languages
• Data type inference for logic programming
• Lightweight functional logic meta-programming
• An execution model for RICE
• The relational machine calculus
• Integrating logic rules with everything else, seamlessly
• Accumulators: New logic variable abstractions for functional languages
• Termination of narrowing via termination of rewriting

Describes a project that uses

Uses Software

• ObjectCurry
• BABEL
• Haskell
• Oz
• Mercury
• TeaBag
• Curry
• Kernel-LEAF
• TOY
• PAKCS

This page was built for publication: Functional Logic Programming: From Theory to Curry

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