Logic Programming '86

1. Front Matter

   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

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.

• Extension
• Prolog
• expert system
• inference engine
• knowledge
• logic
• navigation
• problem solving
• programming
• programming language

Policies and ethics