Parallel programming with logic languages: A survey

Balzer, 1987, Living in the next generation operating system, IEEE Softw., 4, 77, 10.1109/MS.1987.232097 Brogi, 1991, The concurrent language Shared Prolog, ACM Trans. Progr. Lang. Syst., 13, 99, 10.1145/114005.102807 Ciancarini, 1990, Coordination languages for open system programming Carriero, N. and Gelernter, D. Coordination languages and their significance. Commun. ACM. In press. Clark, 1986, Parlog: parallel programming in Logic, ACM TOPLAS, 8, 1, 10.1145/5001.5390 Clark, 1987, A declarative environment for concurrent logic programming, 212 Cunha, 1989, Programming in DeltaProlog, 487 Fagin, 1990, The performance of parallel Prolog programs, IEEE Trans. Comput., 39, 1434, 10.1109/12.61072 Foster, 1988, Flat Parlog: a basis for comparison, Int. J. Parallel Progr., 16, 2 Foster, 1990 Foster, 1990 Kahn, 1977, Coroutines and networks of parallel processes, 993 Kahn, 1990, Actors as a special case of concurrent constraint (logic) languages, 25, 57 Kusalik, 1988, Logic Programming as a formalism for specification and implementation of computer systems Lusk, 1988, The Aurora OR-parallel Prolog system, 819 ManiChandy, 1989, The composition of concurrent programs, 557 Mierowsky, 1985, The design and implementation of Flat Concurrent Prolog O'Keefe, 1990 Pereira, 1984, DeltaProlog: a distributed logic programming language, 283 Saraswat, 1989, Concurrent constraint programming languages Shapiro, 1986, Object oriented programming in concurrent Prolog, New Generation Comput., 1, 25, 10.1007/BF03037020 1987, Vols 1 and 2 Shapiro, 1989, The family of concurrent logic programming languages, ACM Comput. Surv., 4 Sterling, 1986 Tanaka, 1988, MetaInterpreteres and reflective operations in GHC, 774 Taylor, 1989 Ueda, 1986, 168 Warren, 1983, An abstract prolog instruction set