Alpuk91: Proceedings of the 3rd Uk Annual Conference on Logic Programming, Edinburgh, 10-12 April 1991
Tim Duncan, Chris Mellish, Geraínt A. Wiggins · Medical Entomology and Zoology · 1992
Towards Implementing Prolog on Massively Parallel Mixed Architecture Computers.- Speculative Computation and Priorities in Concurrent Logic Languages.- Distributed Logic Programming.- A General Computational Scheme for Constraint Logic Programming.- Time Representation in Prolog Circuit Modelling.- Interacting with the Logic of the Problem: Specifying and Prototyping Interactive Systems.- Deriving Answers to Logical Queries Via Answer Composition.- Using Algebraic Semantics for Proving Prolog Termination and Transformation.- Accessing Relational and NF2 Databases Through Database Set Predicates.- Can Filters do Magic for Deductive Databases?.- A Simple Prolog Techniques Editor for Novice Users.- The Predicate consult/1 - A Problem in Prolog Standardisation.- Author Index.