Logic Programming '87
Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987
Buch in deiner Nähe kaufen
Beschreibung
This volume contains most of the papers presented at the 6th Logic Programming Conference held in Tokyo, June 22-24, 1987. It is the successor of Lecture Notes in Computer Science volumes 221 and 264. The contents cover foundations, programming, architecture and applications. Topics of particular interest are constraint logic programming and parallelism. The effort to apply logic programming to large-scale realistic problems is another important subject of these proceedings.
Autor*in
Koichi Furukawa
Themen in »Logic Programming '87«
Prolog inference engine knowledge knowledge representation logic programming programming language proving