Modelling the combination of functional and logic programming languages

DOI10.1016/S0747-7171(86)80018-9zbMath0598.68008MaRDI QIDQ1079941

Steffen Hölldobler, Ulrich Furbach

Publication date: 1986

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

controlinvertibilityseparationimplementationsfunctional and pure Horn clause logic languages

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items

Conditional equational theories and complete sets of transformations

Cites Work

• Oriented equational clauses as a programming language
• Contributions to the Theory of Logic Programming
• The Semantics of Predicate Logic as a Programming Language
• Can programming be liberated from the von Neumann style?
• The Specialization of Programs by Theorem Proving