On a Tighter Integration of Functional and Logic Programming

DOI10.1007/978-3-540-76637-7_9zbMath1137.68336OpenAlexW2106602483MaRDI QIDQ3498436

Bernd Braßel, Frank Huch

Publication date: 15 May 2008

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-76637-7_9

Mathematics Subject Classification ID

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

Related Items

Compiling a Functional Logic Language: The Fair Scheme ⋮ A Relation Algebraic Semantics for a Lazy Functional Logic Language ⋮ On a Tighter Integration of Functional and Logic Programming ⋮ An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry ⋮ Functional Logic Programming: From Theory to Curry ⋮ Purely functional lazy nondeterministic programming ⋮ On the correctness of pull-tabbing ⋮ A Fully Abstract Semantics for Constructor Systems ⋮ Monadic constraint programming

Uses Software

• PAKCS

Cites Work

• Unnamed Item
• Unnamed Item
• Operational semantics for declarative multi-paradigm languages
• A needed narrowing strategy
• On a Tighter Integration of Functional and Logic Programming
• On the Correctness of Bubbling
• An approach to declarative programming based on a rewriting logic
• PROLOG'S CONTROL CONSTRUCTS IN A FUNCTIONAL SETTING — AXIOMS AND IMPLEMENTATION
• Overlapping Rules and Logic Variables in Functional Logic Programs