Overlapping Rules and Logic Variables in Functional Logic Programs
From MaRDI portal
Publication:5449594
DOI10.1007/11799573_9zbMath1131.68364WikidataQ56214394 ScholiaQ56214394MaRDI QIDQ5449594
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
Related Items
Default rules for Curry, Functional Logic Programming: From Theory to Curry, Termination of Narrowing in Left-Linear Constructor Systems, Programming with narrowing: a tutorial, Termination of narrowing via termination of rewriting, 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: The Fair Scheme, On a Tighter Integration of Functional and Logic Programming
Uses Software