Logic Programming A Classified Bibliography
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...
Other Authors: | , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Dordrecht
Springer Netherlands
1985, 1985
|
Edition: | 1st ed. 1985 |
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
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