Overlapping Rules and Logic Variables in Functional Logic Programs

DOI10.1007/11799573_9MaRDI QIDQ5449594zbMATH OpenOpenAlexWikidataFDO

Authors Sergio Antoy, Michael Hanus

Publication date 11 March 2008

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11799573_9

Mathematics Subject Classification ID

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

Recommendations

• Extra variables can be eliminated from functional logic programs
• scientific article; zbMATH DE number 4043306
• Rules + strategies for transforming lazy functional logic programs
• Functional logic overloading
• Declarative Programming with Function Patterns

Cited in

(15)

• Safe typing of functional logic programs with opaque patterns and local bindings
• Lazy context cloning for non-deterministic graph rewriting
• Extra variables can be eliminated from functional logic programs
• Equivalence of two formal semantics for functional logic programs
• Transforming functional logic programs into monadic functional programs
• Compiling a functional logic language: \textit{The Fair Scheme}
• On a Tighter Integration of Functional and Logic Programming
• scientific article; zbMATH DE number 1761902 (Why is no real title available?)
• Default rules for Curry
• Functional Logic Programming: From Theory to Curry
• Needed computations shortcutting needed steps
• From Logic to Functional Logic Programs
• Termination of Narrowing in Left-Linear Constructor Systems
• Programming with narrowing: a tutorial
• Termination of narrowing via termination of rewriting

Describes a project that uses

Uses Software

• BABEL
• TOY

This page was built for publication: Overlapping Rules and Logic Variables in Functional Logic Programs

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