The relation between logic and functional languages: a survey

DOI10.1016/0743-1066(86)90014-2MaRDI QIDQ3735058zbMATH OpenOpenAlexFDO

Authors Marco Bellia, Giorgio Levi

Publication date 1986

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(86)90014-2

zbMATH Keywords

completionconcurrencylazy evaluationnarrowingset abstractionSLD-resolution of equational formulas

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited in

(14)

• Logic programming with external procedures: Introducing S-unification
• C-expressions: A variable-free calculus for equational logic programming
• Incremental constraint satisfaction for equational logic programming
• Logic and functional programming by retractions
• A domain-theoretic approach to functional and logic programming
• Narrowing and unification in functional programming —An evaluation mechanism for absolute set abstraction
• Equation solving in conditional AC-theories
• Lazy narrowing in a graph machine
• Dynamic detection of determinism in functional logic languages
• Relating the implementation techniques of functional and functional logic languages
• Accumulators: New logic variable abstractions for functional languages
• On completeness of narrowing strategies
• A rationale for conditional equational programming
• Conditional equational theories and complete sets of transformations

This page was built for publication: The relation between logic and functional languages: a survey

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