Modelling the combination of functional and logic programming languages
- 1 June 1986
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 2 (2) , 123-138
- https://doi.org/10.1016/s0747-7171(86)80018-9
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- REFINED MARK(S)-SET-BASED BACKTRACK LITERAL SELECTION FOR AND PARALLELISM IN LOGIC PROGRAMSParallel Processing Letters, 1992
- Extended Unification and its ImplementationPublished by Springer Nature ,1986
- Oriented equational clauses as a programming languageThe Journal of Logic Programming, 1984
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- The semantic elegance of applicative languagesPublished by Association for Computing Machinery (ACM) ,1981
- A relational language for parallel programmingPublished by Association for Computing Machinery (ACM) ,1981
- Can programming be liberated from the von Neumann style?Communications of the ACM, 1978
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976