Skip to main content
SpringerLink
Log in
Book cover

Logic Programming

A Classified Bibliography

  • Book
  • © 1985

Overview

Authors:
  1. Isaac Balbin

    1. Department of Computer Science, University of Melbourne, Parkville, Australia

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Koenraad Lecot

    1. Computer Science Department, University of California, Los Angeles, USA

    View author publications

    You can also search for this author in PubMed   Google Scholar

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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 (19 chapters)

  1. Front Matter

    Pages i-xiv
    Download chapter PDF

  2. Introductory Papers to Logic Programming and Prolog

    • Isaac Balbin, Koenraad Lecot
    Pages 1-9

  3. Theoretical Issues of Logic Programming

    • Isaac Balbin, Koenraad Lecot
    Pages 10-60

  4. Unification — Theory and Practice

    • Isaac Balbin, Koenraad Lecot
    Pages 61-69

  5. Semantics of Prolog and Logic Programming in General

    • Isaac Balbin, Koenraad Lecot
    Pages 70-75

  6. Implementation Issues of Logic Programming Languages

    • Isaac Balbin, Koenraad Lecot
    Pages 76-100

  7. Programming Concepts in Logic Programming

    • Isaac Balbin, Koenraad Lecot
    Pages 101-119

  8. Alternatives to Prolog as a Logic Programming Language

    • Isaac Balbin, Koenraad Lecot
    Pages 120-136

  9. Papers Related to Fifth Generation Computer Systems

    • Isaac Balbin, Koenraad Lecot
    Pages 137-142

  10. Hardware Architectures for Logic Programming

    • Isaac Balbin, Koenraad Lecot
    Pages 143-151

  11. Parallelism and Logic Programming

    • Isaac Balbin, Koenraad Lecot
    Pages 152-166

  12. Concurrent Prolog

    • Isaac Balbin, Koenraad Lecot
    Pages 167-171

  13. Functional Programming and Equality: their Relationship with Logic Programming

    • Isaac Balbin, Koenraad Lecot
    Pages 172-177

  14. Other Application Areas of Logic Programming

    • Isaac Balbin, Koenraad Lecot
    Pages 178-218

  15. Application of Logic Programming to Expert Systems

    • Isaac Balbin, Koenraad Lecot
    Pages 219-235

  16. Databases — Relationship with Logic Programming

    • Isaac Balbin, Koenraad Lecot
    Pages 236-256

  17. Grammar Formalisms For Natural Language Processing

    • Isaac Balbin, Koenraad Lecot
    Pages 257-276

  18. Knowledge Representation Issues in Logic Programming

    • Isaac Balbin, Koenraad Lecot
    Pages 277-286

  19. Logic Programming in Learning Systems

    • Isaac Balbin, Koenraad Lecot
    Pages 287-291

  20. Amalgamation of Object and Meta Level

    • Isaac Balbin, Koenraad Lecot
    Pages 292-294
Back to top

Keywords

About this book

Logic Programming was effectively defined as a discipline in the early seventies. It is only during the early to mid eighties that books, conferences and journals devoted entirely to Logic Programming began to appear. Consequently, much of the work done during this first crucial decade in Marseilles, Edinburgh, London, Budapest and Stockholm (to name a few) is often overlooked or difficult to trace. There are now two main regular conferences on Logic Programming, and at least five journals: The Journal of Logic Programming, New Generation Computing, Automated Reasoning, The Journal of SJmbolic Computation, and Future Generation Computer Systems. Logic Programming, however, has its roots in Automated Theorem Proving and via the expanding area of expert systems, strongly influences researchers in such varied fields as Civil Engineering, Chemistry, Law, etc. Consequently, many papers related to Logic Programming appear in a wide variety of journals and proceedings of conferences in other disciplines. This is particularly true of Computer Science where a revolution is taking place in hardware design, programming languages, and more recently databases. One cannot overestimate the importance of such a bibliography.

Authors and Affiliations

  • Department of Computer Science, University of Melbourne, Parkville, Australia

    Isaac Balbin

  • Computer Science Department, University of California, Los Angeles, USA

    Koenraad Lecot

Bibliographic Information

  • Book Title: Logic Programming

  • Book Subtitle: A Classified Bibliography

  • Authors: Isaac Balbin, Koenraad Lecot

  • DOI: https://doi.org/10.1007/978-94-009-5044-3

  • Publisher: Springer Dordrecht

  • eBook Packages: Springer Book Archive

  • Copyright Information: Isaac Balbin and Koenraad Lecot 1985

  • Softcover ISBN: 978-0-908069-15-6Published: 31 December 1985

  • eBook ISBN: 978-94-009-5044-3Published: 06 December 2012

  • Edition Number: 1

  • Number of Pages: 360

  • Topics: Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation