Modelling the combination of functional and logic programming languages (Q1079941)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Modelling the combination of functional and logic programming languages |
scientific article; zbMATH DE number 3965410
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modelling the combination of functional and logic programming languages |
scientific article; zbMATH DE number 3965410 |
Statements
Modelling the combination of functional and logic programming languages (English)
0 references
1986
0 references
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.
0 references
functional and pure Horn clause logic languages
0 references
implementations
0 references
invertibility
0 references
separation
0 references
control
0 references
