Logic Programming '85: Proceedings of the 4th Conference Tokyo, Japan, July 1–3, 1985

Architecture and evaluation of a Reduction-based Parallel Inference Machine : PIM-R....Pages 1-12
Hardware simulator of Reduction-Based Parallel Inference Machine PIM-R....Pages 13-24
A note on the elementary execution unit in a parallel inference machine....Pages 25-34
Parallel Prolog machine PARK: Its hardware structure and prolog system....Pages 35-43
Heuristics applied in tree manipulation algorithm synthesis....Pages 44-55
Analogical reasoning using transformations of rules....Pages 56-65
Synchronization and communication in the ‘subject’....Pages 66-77
Zero : Frame + prolog....Pages 78-89
PRESET — A debugging environment for Prolog....Pages 90-99
Proedit — a screen oriented Prolog programming environment....Pages 100-107
Software prototyping with MENDEL....Pages 108-116
Retrieval of software module functions using first-order predicate logical formulae....Pages 117-127
Temporal logic programming language Tokio programming in Tokio....Pages 128-137
Implementation of temporal logic programming language Tokio....Pages 138-147
Heuristic prolog: Logic program execution by heuristic search....Pages 148-155
And-or queuing in Extended Concurrent Prolog....Pages 156-167
Guarded horn clauses....Pages 168-179
TDProlog: An extended Prolog with term description....Pages 180-191
Design and evaluation of a Prolog compiler....Pages 192-203
The program characteristics in logic programming language ESP....Pages 204-213
Extended Prolog and its application to an integrated parser for text understanding....Pages 214-225
A travel consultation system: Towards a smooth conversation in Japanese....Pages 226-235
A Prolog-based Korean-English Machine Translation System and its efficient method of dictionary management....Pages 236-245
Using the temporal logic programming language Tokio for algorithm description and automatic CMOS gate array synthesis....Pages 246-255
A parallel logic simulator based on Concurrent Prolog....Pages 256-265
A method of representing processes in a constraint solver....Pages 266-275
KRIP: A knowledge representation system for laws relating to industrial property....Pages 276-286
Consultation system for diagnosis of headache and facial pain: “Rhinos”....Pages 287-298
Knowledge realization and transformation in KRISP....Pages 299-311