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 BibTeX

@proceedings{DBLP:conf/lp/1987,
  editor    = {Koichi Furukawa and
               Hozumi Tanaka and
               Tetsunosuke Fujisaki},
  title     = {Logic Programming '87, Proceedings of the 6th Conference, Tokyo,
               Japan, June 22-24, 1987},
  booktitle = {LP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {315},
  year      = {1988},
  isbn      = {3-540-19426-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Paper

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

Constraint Logic Programming

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

Program Synthesis

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

Programming Languages and Implementation

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

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 BibTeX
Toshiaki Tarui, Tsutomu Maruyama, Hidehiko Tanaka: A Preliminary Evaluation of a Parallel Inference Machine for Stream Parallel Languages. 132-147 BibTeX
Hayato Ohwada, Fumio Mizoguchi: Managing Search in Parallel Logic Programming. 148-177 BibTeX

Foundations

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

Natural Language Processing

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

Applications

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