Skip to main content
SpringerLink
Log in

ALPUK91

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

  • Conference proceedings
  • © 1992

Overview

Editors:
  1. Geraint A. Wiggins

    1. Dream Group, Department of Artificial Intelligence, University of Edinburgh, Edinburgh, Scotland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Chris Mellish

    1. Department of Artificial Intelligence, University of Edinburgh, Edinburgh, Scotland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Tim Duncan

    1. Artificial Intelligence Applications Institute, University of Edinburgh, Edinburgh, Scotland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Workshops in Computing (WORKSHOPS COMP.)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 papers)

  1. Front Matter

    Pages i-viii
    Download chapter PDF

  2. Towards Implementing Prolog on Massively Parallel Mixed Architecture Computers

    • Peter Kacsuk
    Pages 1-22

  3. Speculative Computation and Priorities in Concurrent Logic Languages

    • Matthew Huntbach
    Pages 23-35

  4. Distributed Logic Programming

    • Zdravko Markov, Christo Dichev
    Pages 36-55

  5. A General Computational Scheme for Constraint Logic Programming

    • John Darlington, Yike Guo, Qian Wu
    Pages 56-77

  6. Time Representation in Prolog Circuit Modelling

    • Yossi Lichtenstein, Bob Welham, Ajay Gupta
    Pages 78-93

  7. Interacting with the Logic of the Problem: Specifying and Prototyping Interactive Systems

    • Chris Roast
    Pages 94-111

  8. Deriving Answers to Logical Queries Via Answer Composition

    • Robert J. Gaizauskas
    Pages 112-134

  9. Using Algebraic Semantics for Proving Prolog Termination and Transformation

    • Brian J. Ross
    Pages 135-155

  10. Accessing Relational and NF2 Databases Through Database Set Predicates

    • Christoph Draxler
    Pages 156-173

  11. Can Filters do Magic for Deductive Databases?

    • V. S. Lakshmanan, C. H. Yim
    Pages 174-189

  12. A Simple Prolog Techniques Editor for Novice Users

    • Dave Robertson
    Pages 190-205

  13. The Predicate consult/1 — A Problem in Prolog Standardisation

    • Roger Scowen
    Pages 206-215

  14. Back Matter

    Pages 217-219
    Download chapter PDF
Back to top

Keywords

About this book

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 challenging research issues to be addressed and the UK branch of the Association for Logic Programming was set up to provide a forum where the flourishing research community could discuss important issues of Logic Programming which were often by-passed at the large international conferences. This volume contains the twelve papers which were presented at the ALPUK's 3rd conference which was held in Edinburgh, 10-12 April 1991. The aim of the conference was to give a broad but detailed technical insight into the work currently being done in this field, both in the UK and by researchers as far afield as Canada and Bulgaria. The breadth of interest in this area of Computer Science is reflected in the range of the papers which cover - amongst other areas - massively parallel implementation, constraint logic programming, circuit modelling, algebraic proof of program properties, deductive databases, specialised editors and standardisation. The resulting volume gives a good overview of the current progress being made in the field and will be of interest to researchers and students of any aspects of logic programming, parallel computing or database techniques and management.

Editors and Affiliations

  • Dream Group, Department of Artificial Intelligence, University of Edinburgh, Edinburgh, Scotland

    Geraint A. Wiggins

  • Department of Artificial Intelligence, University of Edinburgh, Edinburgh, Scotland

    Chris Mellish

  • Artificial Intelligence Applications Institute, University of Edinburgh, Edinburgh, Scotland

    Tim Duncan

Bibliographic Information

  • Book Title: ALPUK91

  • Book Subtitle: Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10–12 April 1991

  • Editors: Geraint A. Wiggins, Chris Mellish, Tim Duncan

  • Series Title: Workshops in Computing

  • DOI: https://doi.org/10.1007/978-1-4471-3546-3

  • Publisher: Springer London

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag London 1992

  • Softcover ISBN: 978-3-540-19734-8Published: 08 January 1992

  • eBook ISBN: 978-1-4471-3546-3Published: 29 June 2013

  • Series ISSN: 1431-1682

  • Edition Number: 1

  • Number of Pages: VIII, 219

  • Additional Information: Jointly published with British Computer Society

  • Topics: Programming Techniques, Logics and Meanings of Programs, Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation