ALPUK91: Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10-12 April 1991

ALPUK91: Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10-12 April 1991

Paperback(1st Edition.)

$109.00
Want it by Wednesday, November 21 Order now and choose Expedited Shipping during checkout.

Product Details

ISBN-13: 9783540197348
Publisher: Springer London
Publication date: 02/18/1992
Series: Workshops in Computing
Edition description: 1st Edition.
Pages: 219
Product dimensions: 6.69(w) x 9.61(h) x (d)

Table of Contents

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.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews