Abstract is missing.
- From Unification to ConstraintsJoxan Jaffar, Jean-Louis Lassez. 1-18
- CS-Prolog: A Generalized Unification Based Constraint SolverToshio Kawamura, Hayato Ohwada, Fumio Mizoguchi. 19-39
- Update Propagation Network - A Framework for Constraint ProgrammingMasayuki Numao. 40-49
- MENDELS: Concurrent Program Synthesis System Using Temporal LogicNaoshi Uchihira, Kazunori Matsumoto, Shinichi Honiden, Hideo Nakamura. 50-68
- Analogical Program Synthesis from Program ComponentsTakeshi Imanaka, Kuniaki Uehara, Jun ichi Toyoda. 69-79
- Deriving a Compilation Method for Parallel Logic LanguagesYouji Kohda, Jiro Tanaka. 80-94
- The Art of Building a Parallel Logic Programming System or From Zero to Full GHC in Ten PagesMartin Nilsson, Hidehiko Tanaka. 95-104
- Introduction of a Package System into PrologHiroaki Etoh, Naoyuki Tamura, Yasuo Asakawa, Toshiyuki Hama, Hideaki Komatsu. 105-112
- KPR: A Logic Programming Language-Oriented Parallel MachineKiyoshi Shibayama, Masaaki Yamamoto, Hiroaki Hirata, Yasushi Konoh, Takanori Sanetoh, Hiroshi Hagiwara. 113-131
- A Preliminary Evaluation of a Parallel Inference Machine for Stream Parallel LanguagesToshiaki Tarui, Tsutomu Maruyama, Hidehiko Tanaka. 132-147
- Managing Search in Parallel Logic ProgrammingHayato Ohwada, Fumio Mizoguchi. 148-177
- Inductive Inference of Regular Language Based on Model InferenceHiroki Ishizaka. 178-194
- Polymorphic Type Inference in Prolog by Abstract InterpretationKenji Horiuchi, Tadashi Kanamori. 195-214
- Proving Partial Correctness of Guarded Horn Clauses ProgramsMasaki Murakami. 215-235
- Knowledge Representation and Inference Based on First-Order Modal LogicKoji Iwanuma, Masateru Harao. 236-251
- Manipulation of Embedded Context Using the Multiple World MechanismAkiko Kurata, Hideyuki Nakashima. 252-263
- Generating Natural Language Responses Appropriate to Conversational Situation - In the Case of JapaneseNaohiko Noguchi, Masanori Takahashi, Hideki Yasukawa. 264-283
- An Approach to Speeding Up the Prolog=based Inference Engine KORE/IEToramatsu Shintani. 284-297
- Test Generation for Large-Scale Combinational Circuits by Using PrologYoshihiro Tohma, Kenji Goto. 298-312
- Concurrent Execution of Prolog TransactionMakoto Takizawa, Katsumi Miyajima. 313-327