%A S. Shibayama
%A T. Kakuta
%A N. Miyazaki
%A H. Yokota
%A K. Murakami
%T A relational database machine - DELTA
%R ICOT Technical Memorandum TM-0002
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1982

%A S. Uchida
%A M. Yokota
%A A. Yamamoto
%A K. Taki
%A H. Nishikawa
%T Outline of the Personal Sequential Inference machine
%R ICOT Technical Memorandum TM-0005
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983
%O also in New Generation Computing 1:1

%A N. Ito
%A R. Onai
%A K. Masuda
%A H. Shimizu
%T Prolog machine based on the data flow mechanism
%R ICOT Technical Memorandum TM-0007
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A T. Kakuta
%A N. Miyazaki
%A S. Shibayama
%A H. Yokota
%A K. Murakami
%T A relational database machine - DELTA
%R ICOT Technical Memorandum TM-0008
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983
%O IPSJ translation

%A T. Hattori
%A T. Yokoi
%T Basic constructs of the SIM operating system
%R ICOT Technical Memorandum TM-0009
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983
%O also in New Generation Computing 1:1

%A H. Kitakami
%A S. Kunifuji
%A T. Miyachi
%A K. Furukawa
%T A methodology for implementation of a knowledge acquisition system
%R ICOT Technical Memorandum TM-0024
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983

%A T. Yokoi
%T A perspective of the Japanese FGCS project
%R ICOT Technical Memorandum TM-0026
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983
%O presented to IJCAI, F.R.G., 1983

%A K. Mukai
%A K. Furukawa
%T An ordered linear resolution theorem proving program in Prolog
%R ICOT Technical Memorandum TM-0027
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983
%O also in Proceedings of IJPS national Conference, 1983

%A T. Ida
%A M. Sato
%A S. Hayashi
%A M. Hagiya
%A T. Kurokawa
%A T. Hikita
%A K. Futatsugi
%A K. Sakai
%A T. Toyama
%A T. Matsuda
%T Higher order: its implications
to programming languages and computational models
%R ICOT Technical Memorandum TM-0029
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D October 1983
%P 50
%K combinators, functional programming
%X A summary of discussions of meetings of working group WG5 of
the FGCS Project. Attempts to clarify the notion "higher-order" as
used in various fields of computer science and mathematics.
Has a number of clear and concise overviews of functional programming
and combinatory logic.

%A Ehud Y. Shapiro
%T Lecture notes on the Bagel: a systolic Concurrent Prolog machine
%R ICOT Technical Memorandum TM-0031
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D November 1983

%A A. Taguchi
%A N. Miyazaki
%A A. Yamamoto
%A H. Kitakami
%A K. Kaneko
%A K. Murakami
%T INI, internal network in programming laboratory ICOT and its future
%R ICOT Technical Memorandum TM-0044
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%Q ICOT Working Group 5
%T Several aspects of unification
%R ICOT Technical Memorandum TM-0046
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A T. Chikayama
%T Unique features of ESP
%R ICOT Technical Memorandum TM-0055
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A T. Miyachi
%A et al
%T A constraint based dynamic semantic model for logic databases
%R ICOT Technical Memorandum TM-0056
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A A. Taguchi
%T Writing in a foreign language and programming in Warnier's methodology
- a study of processes
%R ICOT Technical Memorandum TM-0057
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A H. Suzuki
%T MAIN: a man-machine interface for domestic affairs
%R ICOT Technical Memorandum TM-0058
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A Y. Nagai
%A E. Chigira
%A M. Kobayashi
%A K. Furukawa
%T Problems in developing an experimental system able to reuse existing programs
%R ICOT Technical Memorandum TM-0059
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A T. Hattori
%A T. Kurukawa
%A K. Sakai
%A J. Tsuji
%A T. Chikayama
%A S. Takagi
%A T. Yokoi
%T An operating system for sequential inference machine PSI
%R ICOT Technical Memorandum TM-0065
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A H. Hirakawa
%A K. Furukawa
%T Syntactic parsing with POPS
%R ICOT Technical Memorandum TM-0073
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A K. Takei
%T Progress in the initial stage of the FGCS project
%R ICOT Technical Memorandum TM-0074
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984
%O presented at Symposium by SRI International, Cambridge, U.K., 1984

%A A. Taguchi
%T A presonal prespective on some aspects of FGCS
- preliminary consideration for fifth generation computer networks
%R ICOT Technical Memorandum TM-0077
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A T. Morishita
%A H. Hirakawa
%T GDLO: a grammar description language based on DCG
%R ICOT Technical Memorandum TM-0084
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A K. Murakami
%A T. Kakuta
%A N. Miyazaki
%A S. Shibayama
%A H. Yokota
%T Delta demonstration at ICOT Open House
%R ICOT Technical Memorandum TM-0085
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D November 1984

%Q Anon
%T The Boyer-Moore theorem prover in Prolog users's manual
%R ICOT Technical Memorandum TM-0086
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A K. Sakai
%T Knuth-Bendic algorithm for Thue system based on Kachinuki ordering
%R ICOT Technical Memorandum TM-0087
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot

%A H. Sawamura
%A T. Takeshima
%A A. Kato
%T Source-level optimization techniques for Prolog
%R ICOT Technical Memorandum TM-0091
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A T. Miyachi
%A K. Furukawa
%A H. Shimada
%A S. Kondo
%A T. Dasai
%T Prototyping a dialoging system with a topic management function
%R ICOT Technical Memorandum TM-0094
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A T. Miyachi
%A S. Kunifuji
%A K. Furukawa
%A H. Kitakami
%T Constraint-based logic database management:
structuring meta-knowledge in database management
%R ICOT Technical Memorandum TM-0095
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A A. Taguchi
%T Some considerations on essential requirements
of the intelligent human interfaces
%R ICOT Technical Memorandum TM-0097
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A A. Taguchi
%T Some aspects of future knowledge-communication networks
as infrastructure for fifth generation computers
%R ICOT Technical Memorandum TM-0099
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A T. Hattori
%A N. Yoshida
%A T. Fujisaki
%T Constructing the SIMPOS supervisor in an object-oriented approach
%R ICOT Technical Memorandum TM-0100
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A M. Hagiya
%A S. Hayashi
%T Some experimens on EKL
%R ICOT Technical Memorandum TM-0101
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%Q ICOT Working Group 3.4
%T Some aspects of generalized phrase structure grammar
%R ICOT Technical Memorandum TM-0103
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot

%A R. Nakazaki
%A A. Konagaya
%A S. Habata
%A H. Shimizu
%A M. Umemura
%A M. Yamamoto
%A M. Yokota
%A T. Chikayama
%T Design of a high-speed Prolog machine (HPM)
%R ICOT Technical Memorandum TM-0105
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A H. Mori
%A K. Mitsumoto
%A T. Fujita
%A S. Goto
%A H. Wakata
%T WIREX: VLSI wiring design expert system
%R ICOT Technical Memorandum TM-0109
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A H. Touati
%T PSI font editor user's guide
%R ICOT Technical Memorandum TM-0112
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A H. Touati
%T PSI font editor implementation notes
%R ICOT Technical Memorandum TM-0115
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A T. Yokomori
%A M. Kishishita
%A J. Tanaka
%T AND-OR-queueing in extended Concurrent Prolog
%R ICOT Technical Memorandum TM-0120
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A H. Sakai
%A K. Iwata
%A S. Shibayama
%A M. Abe
%A H. Itoh
%T Development of Delta as a first step to a knowledge base machine
%R ICOT Technical Memorandum TM-0121
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A J. Tsuji
%A S. Uchida
%T The concepts and facilities of SIMPOS window system
%R ICOT Technical Memorandum TM-0125
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A Y. Sohma
%A K. Satoh
%A K. Kumon
%A H. Masuzawa
%A A. Itashiki
%T A new parallel inference mechanism based on sequentiel processing
%R ICOT Technical Memorandum TM-0131
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A K. Ueda
%T On the operational semantics of Guarded Horn Clauses
(preliminary draft)
%R ICOT Technical Memorandum TM-0136
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985