3. ALPUK 1991: Edinburgh

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

Last update Tue Feb 14 03:48:19 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page