default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5. LP 1986: Tokyo, Japan
- Eiiti Wada:
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 - Hajime Yoshino, Shigeru Kagayama, Shouzou Ohta, Munenori Kitahara, Hiroyasu Kondoh, Mituru Nakakawaji, Kouji Ishimaru, Seiti Takao:
Legal Expert System LES-2. 34-45 - Yuri Ohara, Satoru Torii, Etsuo Ono, Makoto Kishishita, Jiro Tanaka, Toshihiko 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-01-29 02:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
