5. LP 1986: Tokyo, Japan

• Takashi Kakiuchi, Kuniaki Uehara, Jun'ichi Toyoda:
  Plan-Based Text Generation in an On-Line Help System. 1-11
  
• Kiyoshi Akama:
  Inheritance Hierarchy Mechanism in Prolog. 12-21
  
• Toramatsu Shintani, Yoshinori Katayama, Kunihiko Hiraishi, Mitsuhiko Toda:
  KORE: A Hybrid Knowledge Programming Environment for Decision Support Based on a Logic Programming Language. 22-33
  
• H. Yoshino, S. Kagayama, S. Ohta, M. Kitahara, H. Kondoh, M. Nakakawaji, K. Ishimaru, S. Takao:
  Legal Expert System LES-2. 34-45
  
• Y. Ohara, S. Torii, E. Ono, M. Kishishita, J. Tanaka, T. Miyazaki:
  A Prototype Software Simulator for FGHC. 47-57
  
• Makoto Haraguchi, Setsuo Arikawa:
  A Foundation of Reasoning by Analogy: Analogical Union of Logic Programs. 58-69
  
• Makoto Takizawa, Hideaki Itoh, Kunihiko Moriya:
  Logic Interface System on Navigational Database Systems. 70-80
  
• Yasubumi Sakakibara:
  Programming in Modal Logic: An Extension of PROLOG based on Modal Logic. 81-91
  
• Kazuko Takahashi, Tadashi Kanamori:
  On Parallel Programming Methodology in GHC. 92-103
  
• Hideaki Komatsu, Naoyuki Tamura, Yasuo Asakawa, Toshiaki Kurokawa:
  An Optimizing Prolog Compiler. 104-115
  
• Shinji Yokoi:
  A Prolog Based Object Oriented Language SPOOL and its Compiler. 116-125
  
• Ken'ichi Kakizaki, Kuniaki Uehara, Jun'ichi Toyoda:
  Development of C-Prolog Compiler. 126-136
  
• Masaru Ohki, Akikazu Takeuchi, Koichi Furukawa:
  A Framework for Interactive Problem Solving Based on Interactive Query Revision. 137-146
  
• Shinichi Morishita, Masayuki Numao:
  Prolog Computation Model BPM and its Debugger PROEDIT2. 147-158
  
• Hanpei Koike, Hidehiko Tanaka:
  Fast Execution Mechanisms of Parallel Inference Engine PIE: PIEpelined Goal Rewriting and Goal Multicasting. 159-169
  
• Martin Nilsson, Hidehiko Tanaka:
  FLENG Prolog - The Language which turns Supercomputers into Parallel Prolog Machines. 170-179