|
cover |
|
|
Table of Contents |
|
|
|
|
1. |
1982 |
|
|
Japan's Fifth Generation Computers Project - A trip report 
Dr. Ehud. Y. Shapiro |
1 |
|
Report to ICOT on my visit of 29 Nov - 3 Dec 1982 
Dr. Edward A. Ashcroft |
13 |
|
Visit to ICOT from Jan.20, 83 to Feb.18, 83 
Dr. Klaus Berkling |
20 |
|
Report to ICOT concerning my visit from 24 January 1983 to February 1983 
Professor John A. Robinson |
33 |
|
TOWARDS A HIGH PERFORMANCE PROLOG PROCESSOR 
Dr. David H. D. Warren |
40 |
|
|
|
2. |
1983 |
|
|
Systems Programming in Concurrent Prolog 
Dr. Ehud. Y. Shapio |
54 |
|
Some comments on the physical interface between Knowledge processing and storage subsystems 
Professor Heing Schweppe |
100 |
|
GETTING STARTED WITH PARLOG (DEC-10 PROLOG, ICOT version) 
Dr. Steve Gregory |
109 |
|
Research Report KL1について 
Professor Keith L. Clark |
129 |
|
Experiences in Transporting Concurrent Prolog and the Bagel Simulator to LM-Prolog 
Professor Kenneth M. Kahn |
134 |
|
REPORT OF VISIT TO ICOT November 28 - December 23, 1983 
Professor Philip C. Treleaven |
142 |
|
REPORT TO ICOT 
Professor Gerald Gazdar |
147 |
|
Report 
Professor Arvind |
151 |
|
|
|
3. |
1984 |
|
|
Alain Colmerauer's stay at ICOT, from November the 12th to November the
23d 1984 
Professor Alain Colmerauer |
155 |
|
ICOT TRIP REPORT 
Dr. Alan Bundy |
158 |
|
Fast dynamic multiway merge using destructive operations 
Dr. Ehud. Y. Shapiro |
167 |
|
Steve Taylor との研究交流レポート 
Dr. Stephen Taylor |
172 |
|
ICOT VISIT REPORT 
Dr. Fernando Pereira |
177 |
|
REPORT ON A VISIT TO ICOT 
Professor M. H. van Emden |
194 |
|
REPORT ON A VISIT TO ICOT 
Dr. Marc Snir |
202 |
|
A VISIT TO ICOT 
Dr. Mike Reeve |
232 |