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 / edited by Geraint A. Wiggins, Chris Mellish, Tim Duncan.

Since its conception nearly 20 years ago, Logic Programming - the idea of using logic as a programming language - has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. However, there are still many cha...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Wiggins, Geraint A. (Editor), Mellish, Chris (Editor), Duncan, Tim (Editor)
Format: eBook
Language:English
Published: London : Springer London : Imprint: Springer, 1992.
Edition:1st ed. 1992.
Series:Workshops in Computing,
Springer eBook Collection.
Subjects:
Computer programming.
Computer logic.
Artificial intelligence.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
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.

Similar Items