Kenneth Kahn
Mark S. Miller
Daniel G. Bobrow
- Clark 1984 Clark K., Gregory S., "PARLOG: Parallel Programming in Logic", Research report DOC 84/4, Dept of Computing, Imperial College, London, 1984Google Scholar
- Clinger 1981 Clinger, W. "Foundations of Actor Semantics", MIT AI-TR-633, May 1981 Google ScholarDigital Library
- Hewitt 1977 Hewitt C., "Viewing Control Structures as Patterns of Passing Messages", Artificial Intelligence, Volume 8, pp. 323-363, 1977Google ScholarDigital Library
- Hillis 1985 Hillis W. D., The Connection Machine, MIT Press, 1985 Google ScholarDigital Library
- Kahn 1986 Kahn K., Tribble E., Miller M., Bobrow D. "Objects in Concurrent Logic Programming Languages", Proceedings of the ACM OOPSLA'86 Conference, October 1986 Google ScholarDigital Library
- Shapiro 1983a Shapiro, E. and Takeuchi,, A. Object Oriented Programming in Concurrent Prolog New Generation Computing, Springer Verlag V. 1, No. 1 1983, pp. 25-48.Google Scholar
- Shapiro 1983b Shapiro, E. "A Subset of Concurrent Prolog and Its Interpreter", ICOT Technical Report, TR -003 (1983)Google Scholar
- Ueda 1985 Ueda K., "Guarded Horn Clauses", ICOT Technical Report, 103, June 1985Google Scholar
Index Terms
- Objects in concurrent logic programming languages
Recommendations
Monadic concurrent linear logic programming
PPDP '05: Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programmingLolli is a logic programming language based on the asynchronous propositions of intuitionistic linear logic. It uses a backward chaining, backtracking operational semantics. In this paper we extend Lolli with the remaining connectives of intuitionistic ...
A Lingua Franca for Concurrent Logic Programming
Two of the more important concurrent logic programming languages with nonflat guards are GHC and Parlog. They balance the requirements of having clean semantics and providing good control facilities rather differently, and their respective merits are ...
The family of concurrent logic programming languages
Concurrent logic languages are high-level programming languages for parallel and distributed systems that offer a wide range of both known and novel concurrent programming techniques. Being logic programming languages, they preserve many advantages of ...
Comments