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