Semantics of distributed definite clause programs

Apt, 1982, Contributions to the theory of logic programming, J. ACM, 29, 841, 10.1145/322326.322339 Beckman, 1986, Towards a formal semantics for concurrent logic programming languages, 225, 335 Clark, 1986, PARLOG: Parallel programming in logic, ACM TOPLAS, 3, 1, 10.1145/5001.5390 Conery, 1985, AND-parallelism and nondeterminism in logic programs, New Gen. Computing, 3, 43, 10.1007/BF03037115 van Emden, 1976, The semantics of predicate logic as a programming language, J. ACM, 23, 732, 10.1145/321978.321991 Falaschi, 1984, Synchronization logic: axiomatics and formal semantics of generalized Horn clauses, Inform. and Control, 60, 36, 10.1016/S0019-9958(84)80021-2 Fitting, 1985, A Kripke-Kleene semantics for logic programs, J. Logic Program., 4, 295, 10.1016/S0743-1066(85)80005-4 Hoare, 1985 Jaffar, 1986, Some issues and trends in the semantics of logic programming, 225, 223 Lassez, 1984, Closures and fairness in the semantics of programming logic, Theoret. Comput. Sci., 29, 167, 10.1016/0304-3975(84)90017-3 Lindstrom, 1984, Stream based execution of logic programs, Proc. Intl. Symp. on Logic Programming, 168 Lloyd, 1984 Pereira, 1984, Delta-Prolog: a distributed logic programming language, Proc. Intl. Conf. on Fifth Gen. Systems, 263 Prasad, 1983, Strong synchronization of communicating processes, Proc. FST and TCS 3, 202 Ramanujam, 1984, Process specification of logic programs, 181, 31 Ramanujam, 1987, Theories and models of distributed logic programs Ramanujam, 1987, Semantics of distributed Horn clause programs, 287, 361 Saraswat, 1985, Operational semantics of CP[↑, |, &], 206 Shapiro, 1983, A subset of concurrent prolog and its interpreter Takeuchi, 1986, Parallel logic programming languages, 225, 242 Warren, 1984, Executing distributed prolog programs on a broadcast network, Proc. Intl. Symp. on Logic Programming, 12