Overview

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.

Full Product Details

Author:   I. Balbin ,  K. Lecot
Publisher:   Kluwer Academic Publishers Group
Imprint:   Kluwer Academic Publishers
Edition:   Softcover reprint of the original 1st ed. 1985
Dimensions:   Width: 15.20cm , Height: 2.10cm , Length: 22.90cm
Weight:   1.230kg
ISBN:  

9780908069156

ISBN 10:   0908069154
Pages:   360
Publication Date:   31 December 1985
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

1 Introductory Papers to Logic Programming and Prolog.- 2 Theoretical Issues of Logic Programming.- 3 Unification - Theory and Practice.- 4 Semantics of Prolog and Logic Programming in General.- 5 Implementation Issues of Logic Programming Languages.- 6 Programming Concepts in Logic Programming.- 7 Alternatives to Prolog as a Logic Programming Language.- 8 Papers Related to Fifth Generation Computer Systems.- 9 Harware Architectures for Logic Programming.- 10 Parallelism and Logic Programming.- 11 Concurrent Prolog.- 12 Functional Programming and Equality: their Relationship with Logic Programming.- 13 Various Application Areas of Logic Programming.- 14 Application of Logic Programming to Expert Systems.- 15 Databases - Relationship with Logic Programming.- 18 Grammar Formalisms for Natural Language Processing.- 17 Knowledge Representation Issues in Logic Programming.- 18 Logic Programming in Learning Systems.- 19 Amalgamation of Object and Meta Level.- Permuted Subject Index.- Author Index.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions