On a Tighter Integration of Functional and Logic Programming

DOI10.1007/978-3-540-76637-7_9MaRDI QIDQ3498436zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 970727
• scientific article; zbMATH DE number 986251
• Functional Logic Programming: From Theory to Curry
• A domain-theoretic approach to functional and logic programming
• scientific article; zbMATH DE number 3872643

Cites work

• A needed narrowing strategy
• An approach to declarative programming based on a rewriting logic
• scientific article; zbMATH DE number 1696589 (Why is no real title available?)
• scientific article; zbMATH DE number 5007864 (Why is no real title available?)
• On a Tighter Integration of Functional and Logic Programming
• On the Correctness of Bubbling
• Operational semantics for declarative multi-paradigm languages
• Overlapping Rules and Logic Variables in Functional Logic Programs
• Prolog's control constructs in a functional setting -- axioms and implementation

Cited in

(16)

• An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry
• On the correctness of pull-tabbing
• scientific article; zbMATH DE number 986251 (Why is no real title available?)
• scientific article; zbMATH DE number 3872643 (Why is no real title available?)
• Compiling a functional logic language: \textit{The Fair Scheme}
• A Relation Algebraic Semantics for a Lazy Functional Logic Language
• On a Tighter Integration of Functional and Logic Programming
• A Fully Abstract Semantics for Constructor Systems
• Monadic constraint programming
• Extended unification algorithms for the integration of functional programming into logic programming
• scientific article; zbMATH DE number 1332654 (Why is no real title available?)
• scientific article; zbMATH DE number 1511970 (Why is no real title available?)
• A domain-theoretic approach to functional and logic programming
• Functional Logic Programming: From Theory to Curry
• Purely functional lazy nondeterministic programming
• scientific article; zbMATH DE number 970727 (Why is no real title available?)

Describes a project that uses

Uses Software

• PAKCS

This page was built for publication: On a Tighter Integration of Functional and Logic Programming

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