عنوان

Logic Programming :

شابک

9400950446

شابک

9789400950443

شماره

b593462

عنوان اصلي

Logic Programming :

نام عام مواد

[Book]

ساير اطلاعات عنواني

a Classified Bibliography

نام نخستين پديدآور

by Isaac Balbin, Koenraad Lecot.

محل نشرو پخش و غیره

Dordrecht

نام ناشر، پخش کننده و غيره

Springer Netherlands

تاریخ نشرو بخش و غیره

1985

نام خاص و کميت اثر

(360 pages)

متن يادداشت

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.

متن يادداشت

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.

موضوع مستند نشده

Artificial intelligence.

موضوع مستند نشده

Computer science.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

by Isaac Balbin, Koenraad Lecot.

مستند نام اشخاص تاييد نشده

Isaac Balbin

مستند نام اشخاص تاييد نشده

Koenraad Lecot

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y