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)

zbMATH Keywords

controlseparationinvertibilityimplementationsfunctional and pure Horn clause logic languages

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

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

(10)

• 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 4191084 (Why is no real title available?)
• scientific article; zbMATH DE number 3942988 (Why is no real title available?)
• FPL : Functional plus logic programming an integration of the FP and Prolog languages
• scientific article; zbMATH DE number 4037165 (Why is no real title available?)
• Logic programming, functional programming, and inductive definitions
• Conditional equational theories and complete sets of transformations
• Theory of logic programming. An elementary introduction

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)