Geraint A. Wiggins, Chris Mellish, Tim Duncan (Eds.): Proceedings of the 3rd UK Conference on Logic Programming, Edinburgh, 10-12 April 1991. Workshops in Computing, Springer 1992, ISBN 3-540-19734-6

• 
  Péter Kacsuk: Towards Implementing Prolog on Massively Parallel Mixed Architecture Computers. 1-22
• 
  Matthew M. Huntbach: Speculative Computation and Priorities in Concurrent Logic Languages. 23-35
• 
  Zdravko Markov, Christo Dichev: Distributed Logic Programming. 36-55
• 
  John Darlington, Yike Guo, Qian Wu: A General Computational Scheme for Constraint Logic Programming. 56-77
• 
  Yossi Lichtenstein, Bob Welham, Ajay Gupta: Time Representation in Prolog Circuit Modelling. 78-93
• 
  Chris Roast: Interacting with the Logic of the Problem: Specifying and Prototyping Interactive Systems. 94-111
• 
  Robert J. Gaizauskas: Deriving Answers to Logical Queries Via Answer Composition. 112-134
• 
  Brian J. Ross: Using Algebraic Semantics for Proving Prolog termination and Transformation. 135-155
• 
  Christoph Darxler: Accessing Relational and NF2 Databases Through Database Set Predicates. 156-173
• 
  V. S. Lakshmanan, C. H. Yim: Can Filters do Magic for Deductive Databases? 174-189
• 
  David Stuart Robertson: A Simple Prolog Techniques Editor for Novice Users. 190-205
• 
  Roger S. Scowen: The Predicate consult/1 - A Problem in Prolog Standardisation. 206-215