Concurrent Prolog: A Progress Report
- 1 January 1987
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Fair, biased, and self-balancing merge operators: Their specification and implementation in Concurrent PrologNew Generation Computing, 1984
- Object oriented programming in Concurrent PrologNew Generation Computing, 1983
- Data Flow LanguagesComputer, 1982
- Streams and managersPublished by Springer Nature ,1982
- Why systolic architectures?Computer, 1982
- Logic programming and compiler writingSoftware: Practice and Experience, 1980
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976
- MonitorsCommunications of the ACM, 1974
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965