Advertisement

Table of contents

  1. Front Matter
  2. Rikio Onai, Hajime Shimizu, Kanae Masuda, Akira Matsumoto, Moritoshi Aso
    Pages 1-12
  3. M. Sugie, M. Yoneyama, T. Sakabe, M. Iwasaki, S. Yoshizumi, M. Aso et al.
    Pages 13-24
  4. T. Maruyama, K. Hirata, H. Tanaka, T. Moto-oka
    Pages 25-34
  5. H. Matsuda, M. Kohata, T. Masuo, Y. Kaneda, S. Maekawa
    Pages 35-43
  6. Etsuo Itoh, Hiroshi Nakagawa
    Pages 44-55
  7. H. Ito, H. Ueno
    Pages 78-89
  8. Hidehisa Takahashi, Etsuya Shibayama
    Pages 90-99
  9. Shinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya
    Pages 108-116
  10. T. Aoyagi, M. Fujita, T. Moto-oka
    Pages 128-137
  11. S. Kono, T. Aoyagi, M. Fujita, H. Tanaka
    Pages 138-147
  12. Jiro Tanaka, Takashi Yokomori, Makoto Kishishita
    Pages 156-167
  13. Kazunori Ueda
    Pages 168-179
  14. M. Kishimoto, T. Shinogi, Y. Kimura, A. Hattori
    Pages 192-203

About these proceedings

Keywords

Compiler Constraint Debugging Parser Prolog algorithms communication heuristics knowledge knowledge representation logic logical reasoning machine translation programming programming language

Bibliographic information

  • Book Title Logic Programming '85
  • Book Subtitle Proceedings of the 4th Conference Tokyo, Japan, July 1–3, 1985
  • Editors Eiiti Wada
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect Notes Comput Sci
  • DOI https://doi.org/10.1007/3-540-16479-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 1986
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-16479-1
  • eBook ISBN 978-3-540-39820-2
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages IX, 315
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Programming Languages, Compilers, Interpreters
    Programming Techniques
    Artificial Intelligence
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Biotechnology
IT & Software
Telecommunications
Consumer Packaged Goods
Aerospace
Finance, Business & Banking
Electronics
Oil, Gas & Geosciences
Engineering