5. LP 1986: Tokyo, Japan
Eiiti Wada (Ed.):
Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986.
Lecture Notes in Computer Science 264 Springer 1987, ISBN 3-540-18024-9 
- 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
Last update Mon Feb 13 04:36:45 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
