Overlapping Rules and Logic Variables in Functional Logic Programs

DOI10.1007/11799573_9zbMath1131.68364OpenAlexW1605638241WikidataQ56214394 ScholiaQ56214394MaRDI QIDQ5449594

Michael Hanus, Sergio Antoy

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

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

Related Items (13)

Compiling a Functional Logic Language: The Fair Scheme ⋮ On a Tighter Integration of Functional and Logic Programming ⋮ Default rules for Curry ⋮ Unnamed Item ⋮ Safe typing of functional logic programs with opaque patterns and local bindings ⋮ Transforming Functional Logic Programs into Monadic Functional Programs ⋮ Functional Logic Programming: From Theory to Curry ⋮ Programming with narrowing: a tutorial ⋮ Termination of narrowing via termination of rewriting ⋮ Termination of Narrowing in Left-Linear Constructor Systems ⋮ 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

Uses Software

• BABEL
• TOY

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