On the semantics of logic programming languages
- 1 January 1986
- book chapter
- Published by Springer Nature
- p. 327-334
- https://doi.org/10.1007/3-540-16492-8_85
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Meta-level programming and knowledge representationNew Generation Computing, 1985
- On implementing Prolog in functional programmingNew Generation Computing, 1984
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- An Efficient Unification AlgorithmACM Transactions on Programming Languages and Systems, 1982
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976