Advertisement

Table of contents

  1. Front Matter
  2. Joxan Jaffar, Jean-Louis Lassez
    Pages 1-18
  3. Toshio Kawamura, Hayato Ohwada, Fumio Mizoguchi
    Pages 19-39
  4. Naoshi Uchihira, Kazunori Matsumoto, Shinichi Honiden, Hideo Nakamura
    Pages 50-68
  5. Takeshi Imanaka, Kuniaki Uehara, Jun'ichi Toyoda
    Pages 69-79
  6. Youji Kohda, Jiro Tanaka
    Pages 80-94
  7. Hiroaki Etoh, Naoyuki Tamura, Yasuo Asakawa, Toshiyuki Hama, Hideaki Komatsu
    Pages 105-112
  8. Kiyoshi Shibayama, Masaaki Yamamoto, Hiroaki Hirata, Yasushi Kanoh, Takanori Sanetoh, Hiroshi Hagiwara
    Pages 113-131
  9. Toshiaki Tarui, Tsutomu Maruyama, Hidehiko Tanaka
    Pages 132-147
  10. Hayato Ohwada, Fumio Mizoguchi
    Pages 148-177
  11. Kenji Horiuchi, Tadashi Kanamori
    Pages 195-214
  12. Akiko Kurata, Hideyuki Nakashima
    Pages 252-263
  13. Makoto Takizawa, Katsumi Miyajima
    Pages 313-327

About these proceedings

Introduction

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.

Keywords

Prolog inference engine knowledge knowledge representation logic programming programming language proving

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-19426-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 1988
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-19426-2
  • Online ISBN 978-3-540-39267-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering