%A Jim Crammond
%T Implementation of committed choice logic languages on shared memory
multiprocessors
%R Ph.D. thesis
%I Heriot-Watt University
%C Edinburgh
%D 1988

%A Steven Gregory
%T Design, application and implementation
of a parallel logic programming language
%I Addison-Weseley
%D 1987
%K PARLOG, AND-parallelism, book

%A Keith L. Clark
%A Steve Gregory
%T PARLOG: parallel programming in logic
%J ACM Transactions on Programming Languages and Systems
%K toplas
%V 8
%N 1
%D January 1986
%P 1-49

%A Ehud Y. Shapiro
%T A subset of Concurrent Prolog and its interpreter
%R Research Report CS83-06
%I Department of Applied Mathematics, Weizmann Institute of Science
%C Rehovot, Israel
%D 1983
%X This is a revised version of technical report TR-003,
ICOT-Institute for New Generation Computing Technology.

%A Kazunori Ueda
%T Guarded Horn clauses
%R D.Eng. Thesis
%I University of Tokyo
%C Tokyo, Japan
%D March 1986
%K ghc, AND-parallelism

%A Colin Mierowsky
%T Design and implementation of flat Concurrent Prolog
%R Research Report CS84-21
%I Department of Applied Mathematics, Weizmann Institute of Science
%C Rehovot, Israel
%D 1984
%O M.S. Thesis

%A Lee Naish
%T Automating control of logic programs
%J Journal of Logic Programming
%K jlp
%V 2
%N 3
%D October 1985
%P 167-183

%A Ehud Y. Shapiro
%A Akikazu Takeuchi
%T Object oriented programming in Concurrent Prolog
%J New Generation Computing
%K ngc
%V 1
%N 1
%D 1983
%P 25-48
%K incomplete messages

%A Lee Naish
%T Don't care nondeterminism in logic programming
%O To appear in Journal of Logic Programming
%R Technical Report 86/4
%I Department of Computer Science, University of Melbourne
%D 1986
%P 10
%K indeterminism, incompleteness, cut, commit, trust, parallel, proving

%A Lee Naish
%T Specification = program + types
%J Proceedings of 7th Conference on Foundations of Software Technology
and Theoretical Computer Science
%C Pune, India
%D December, 1987

%A David H.D. Warren
%T An abstract Prolog instruction set
%R Technical Note 309
%I SRI International
%C Menlo Park, California
%D October 1983
%X This report describes an abstract Prolog instruction set

%A D.H.D. Warren
%T The SRI model for OR-parallel execution of Prolog
\- abstract design and implementation issues
%J Proceedings of the Fourth IEEE Symposium on Logic Programming
%C San Francisco, California
%D August 1987
%K islp islp4 islp87
%P 92-102

%A Keith L. Clark
%A Steve Gregory
%T Parlog and Prolog united
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 927-961

%A Saumya K. Debray
%T Static inference of modes and data dependencies in logic programs
%R TR 87-24
%I Department of Computer Science, University of Arizona
%C Tuscon
%D 1987

%E James Thom
%E Justin Zobel
%T NU-Prolog reference manual, version 1.0
%R Technical Report 86/10
%I Department of Computer Science, University of Melbourne
%C Melbourne, Australia
%D 1986

%A Lee Naish
%T Negation and quantifiers in NU-Prolog
%J Proceedings of the Third International Conference on Logic Programming
%C Imperial College of Science and Technology, London, England
%D July 1986
%E Ehud Shapiro
%O published as Lecture Notes in Computer Science 225
by Springer-Verlag
%K ilpc iclp ilpc86 iclp86 iclp3 london
%P 624-634

%A John W. Lloyd
%T Foundations of logic programming
%S Springer series in symbolic computation
%I Springer-Verlag
%C New York
%K book
%D 1984
%P 124

%A Z. Somogyi
%T Stability of logic programs: how to connect don't-know
nondeterministic programs to the outside world
%R Technical Report 87/11
%I Department of Computer Science, University of Melbourne
%D 1987
%P 14
%K parallel
%Q A

%A Lee Naish
%T All solutions predicates in Prolog
%J Proceedings of the Second IEEE Symposium on Logic Programming
%C Boston, Massachusetts
%D July 1985
%K islp islp2 islp85
%P 73-77

%A Mats Carlsson
%T Freeze, indexing and other implementation issues in the WAM
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987
%E Jean-Louis Lassez
%K ilpc iclp ilpc87 iclp87 ilpc4 iclp4
%P 40-58
