Concurrent Prolog: A Progress Report
- 1 August 1986
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer
- Vol. 19 (8) , 44-58
- https://doi.org/10.1109/mc.1986.1663307
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Algorithmic Program DebuggingPublished by MIT Press ,1983
- Streams and managersPublished by Springer Nature ,1982
- Why systolic architectures?Computer, 1982
- 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