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.

Bibliographic Information

Book Title: Logic Programming '87
Book Subtitle: Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987
Editors: Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-19426-6
Publisher: Springer Berlin, Heidelberg
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1988
Softcover ISBN: 978-3-540-19426-2Published: 22 June 1988
eBook ISBN: 978-3-540-39267-5Published: 30 June 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VI, 327
Topics: Artificial Intelligence, Programming Techniques
Industry Sectors: Aerospace, Automotive, Biotechnology, Chemical Manufacturing, Consumer Packaged Goods, Electronics, Energy, Utilities & Environment, Engineering, Finance, Business & Banking, Health & Hospitals, IT & Software, Law, Materials & Steel, Oil, Gas & Geosciences, Pharma, Telecommunications

Publish with us

Policies and ethics

Logic Programming '87

Overview

Access this book

Other ways to access

Table of contents (20 papers)

Concurrent execution of Prolog transaction

Keywords

About this book

Bibliographic Information

Publish with us

Search

Navigation