6. LP 1987: Tokyo, Japan

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