Skip to main content
Springer Nature Link
Log in

Logic Programming '86

Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986

  • Conference proceedings
  • © 1987

Overview

Editors:
  1. Eiiti Wada
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 264)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This volume contains the papers presented, and subsequently submitted for publication, at the 5th Logic Programming Conference, held June 23-26, 1986 in Tokyo. Topics covered include Prolog machine architecture, Prolog processors, variations of Prolog language, and applications of Prolog to natural language understanding, and expert systems. Most of the works reported in the volume are related to the Japanese Fifth Generation Computer Project allowing readers to compare results from this project with those from similar projects currently being conducted in other countries.

Similar content being viewed by others

Keywords

Table of contents (16 papers)

  1. Front Matter

    Download chapter PDF

  2. Plan-based text generation in an on-line help system

    • Takashi Kakiuchi, Kuniaki Uehara, Jun'ichi Toyoda
    Pages 1-11

  3. Inheritance hierarchy mechanism in prolog

    • Kiyoshi Akama
    Pages 12-21

  4. Kore : A hybrid knowledge programming environment for decision support based on a logic programming language

    • Toramatsu Shintani, Yoshinori Katayama, Kunihiko Hiraishi, Mitsuhiko Toda
    Pages 22-33

  5. Legal expert system — LES-2

    • H. Yoshino, S. Kagayama, S. Ohta, M. Kitahara, H. Kondoh, M. Nakakawaji et al.
    Pages 34-45

  6. A prototype software simulator for FGHC

    • Y. Ohara, S. Torii, E. Ono, M. Kishishita, J. Tanaka, T. Miyazaki
    Pages 46-57

  7. A foundation of reasoning by analogy: Analogical union of logic programs

    • Makoto Haraguchi, Setsuo Arikawa
    Pages 58-69

  8. Logic interface system on navigational database systems

    • Makoto Takizawa, Hideaki Itoh, Kunihiko Moriya
    Pages 70-80

  9. Programming in modal logic: An extension of PROLOG based on modal logic

    • Yasubumi Sakakibara
    Pages 81-91

  10. On parallel programming methodology in GHC

    • Kazuko Takahashi, Tadashi Kanamori
    Pages 92-103

  11. An optimizing prolog compiler

    • Hideaki Komatsu, Naoyuki Tamura, Yasuo Asakawa, Toshiaki Kurokawa
    Pages 104-115

  12. A prolog based object oriented language SPOOL and its compiler

    • Shinji Yokoi
    Pages 116-125

  13. Development of C-Prolog compiler

    • Ken'ichi Kakizaki, Kuniaki Uehara, Jun'ichi Toyoda
    Pages 126-136

  14. A framework for interactive problem solving based on interactive query revision

    • Masaru Ohki, Akikazu Takeuchi, Koichi Furukawa
    Pages 137-146

  15. Prolog computation model BPM and its debugger PROEDIT2

    • Shinichi Morishita, Masayuki Numao
    Pages 147-158

  16. Fast execution mechanisms of parallel inference engine PIE: PIEpelined goal rewriting and goal multicasting

    • Hanpei Koike, Hidehiko Tanaka
    Pages 159-169

  17. - Fleng Prolog - The language which turns supercomputers into parallel prolog machines

    • Martin Nilsson, Hidehiko Tanaka
    Pages 170-179
Back to top

Bibliographic Information

Publish with us

Policies and ethics

Back to top