Modelling the combination of functional and logic programming languages

Authors:
U. Furbach;S. Hölldobler
Affiliations:
Universität der Bundeswehr, München, F.R.G.;Universität der Bundeswehr, München, F.R.G.
Venue:
Journal of Symbolic Computation
Year:
1986

Citing 4
Cited 0

The Semantics of Predicate Logic as a Programming Language

Journal of the ACM (JACM)
Contributions to the Theory of Logic Programming

Journal of the ACM (JACM)
Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

Communications of the ACM
A relational language for parallel programming

FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.