Modelling the combination of functional and logic programming languages

DOI10.1016/S0747-7171(86)80018-9MaRDI QIDQ1079941zbMATH OpenFDO

Authors Steffen Hölldobler, Ulrich Furbach

Publication date 1986

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

Full work available at URL https://doi.org/10.1016/S0747-7171(86)80018-9

zbMATH Keywords

controlfunctional and pure Horn clause logic languagesimplementationsinvertibilityseparation

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Review text

The combination of functional and pure Horn clause logic languages is formally introduced. To give a framework for the investigation of implementations we define a complete and consistent model, which retains full invertibility and allows separation of logic and control. Some existing implementations are discussed from this viewpoint. An extended unification algorithm is suggested, which incorporates the features demanded by our model.

Recommendations

• scientific article; zbMATH DE number 50050
• Logic programming, functional programming, and inductive definitions
• scientific article; zbMATH DE number 3872643
• scientific article; zbMATH DE number 986251
• Functional Logic Programming: From Theory to Curry

Cites work

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

Cited in

(11)

• Theory of logic programming. An elementary introduction
• scientific article; zbMATH DE number 4191084 (Why is no real title available?)
• scientific article; zbMATH DE number 3942988 (Why is no real title available?)
• scientific article; zbMATH DE number 4037165 (Why is no real title available?)
• Clausal intuitionistic logic I. fixed-point semantics
• Logic and functional programming by retractions
• scientific article; zbMATH DE number 50050 (Why is no real title available?)
• scientific article; zbMATH DE number 1140687 (Why is no real title available?)
• Logic programming, functional programming, and inductive definitions
• FPL : Functional plus logic programming an integration of the FP and Prolog languages
• Conditional equational theories and complete sets of transformations

This page was built for publication: Modelling the combination of functional and logic programming languages

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