Logic programming : a classified bibliography

by Isaac Balbin and Koenraad Lecot


  • 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.

「Nielsen BookData」より


書名 Logic programming : a classified bibliography
著作者等 Balbin, Isaac
Lecot, Koenraad
Lecot K.
Balbin I.
出版元 Wildgrass Books
刊行年月 c1985
版表示 Softcover reprint of the original 1st ed. 1985
ページ数 360 p.
大きさ 22 cm
ISBN 0908069154
NCID BA00144718
※クリックでCiNii Booksを表示
言語 英語
出版国 オーストラリア

Clip to Evernote