6. LP 1987: Tokyo, Japan

Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki (Eds.): Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987. Lecture Notes in Computer Science 315 Springer 1988, ISBN 3-540-19426-6

Invited Paper

Joxan Jaffar, Jean-Louis Lassez:
From Unification to Constraints. 1-18

Constraint Logic Programming

Toshio Kawamura, Hayato Ohwada, Fumio Mizoguchi:
CS-Prolog: A Generalized Unification Based Constraint Solver. 19-39
Masayuki Numao:
Update Propagation Network - A Framework for Constraint Programming. 40-49

Program Synthesis

Naoshi Uchihira, Kazunori Matsumoto, Shinichi Honiden, Hideo Nakamura:
MENDELS: Concurrent Program Synthesis System Using Temporal Logic. 50-68
Takeshi Imanaka, Kuniaki Uehara, Jun'ichi Toyoda:
Analogical Program Synthesis from Program Components. 69-79

Programming Languages and Implementation

Youji Kohda, Jiro Tanaka:
Deriving a Compilation Method for Parallel Logic Languages. 80-94
Martin Nilsson, Hidehiko Tanaka:
The Art of Building a Parallel Logic Programming System or From Zero to Full GHC in Ten Pages. 95-104
Hiroaki Etoh, Naoyuki Tamura, Yasuo Asakawa, Toshiyuki Hama, Hideaki Komatsu:
Introduction of a Package System into Prolog. 105-112

Parallel Architecture and Programming

Kiyoshi Shibayama, Masaaki Yamamoto, Hiroaki Hirata, Yasushi Konoh, Takanori Sanetoh, Hiroshi Hagiwara:
KPR: A Logic Programming Language-Oriented Parallel Machine. 113-131
Toshiaki Tarui, Tsutomu Maruyama, Hidehiko Tanaka:
A Preliminary Evaluation of a Parallel Inference Machine for Stream Parallel Languages. 132-147
Hayato Ohwada, Fumio Mizoguchi:
Managing Search in Parallel Logic Programming. 148-177

Foundations

Hiroki Ishizaka:
Inductive Inference of Regular Language Based on Model Inference. 178-194
Kenji Horiuchi, Tadashi Kanamori:
Polymorphic Type Inference in Prolog by Abstract Interpretation. 195-214
Masaki Murakami:
Proving Partial Correctness of Guarded Horn Clauses Programs. 215-235
Koji Iwanuma, Masateru Harao:
Knowledge Representation and Inference Based on First-Order Modal Logic. 236-251

Natural Language Processing

Akiko Kurata, Hideyuki Nakashima:
Manipulation of Embedded Context Using the Multiple World Mechanism. 252-263
Naohiko Noguchi, Masanori Takahashi, Hideki Yasukawa:
Generating Natural Language Responses Appropriate to Conversational Situation - In the Case of Japanese. 264-283

Applications

Toramatsu Shintani:
An Approach to Speeding Up the Prolog=based Inference Engine KORE/IE. 284-297
Yoshihiro Tohma, Kenji Goto:
Test Generation for Large-Scale Combinational Circuits by Using Prolog. 298-312
Makoto Takizawa, Katsumi Miyajima:
Concurrent Execution of Prolog Transaction. 313-327

Last update Mon Feb 13 04:36:45 2012 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page