%A S. Uchida
%T Towards a new generation computer architecture
%R ICOT Technical Report TR-001
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1982
%O also in ``VLSI Architecture'', Prentice-Hall, 1984

%A S. Kunifuji
%A H. Yokota
%T Prolog and relational data bases for fifth generation computer system
%R ICOT Technical Report TR-002
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1982
%O also in ``Proceedings of CERT Workshop on Logic Bases for Databases'',
France, 1982

%A Ehud Y. Shapiro
%T A subset of Concurrent Prolog and its interpreter
%R ICOT Technical Report TR-003
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983
%O second version

%A Ehud Y. Shapiro
%A A. Takeuchi
%T Object oriented programming in Concurrent Prolog
%R ICOT Technical Report TR-004
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983
%O also in New Generation Computing 1:1

%A T. Chikayama
%T ESP - Extended Self-contained Prolog -
as a preliminary kernel language of the fifth generation
%R ICOT Technical Report TR-005
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983
%O revised into ICOT Technical Report 044

%A A. Takeuchi
%A K. Furukawa
%T Interprocess communication in Concurrent Prolog
%R ICOT Technical Report TR-006
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983
%O also in ``Proceedings of Logic Programming Workshop'', Portugal, 1983

%A K. Sakai
%A T. Miyachi
%T Introduction of negative knowledge into Prolog
%R ICOT Technical Report TR-007
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983
%O in Japanese

%A Hideki Hirakawa
%T Chart parsing in Concurrent Prolog
%R ICOT Technical Report TR-008
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D May 1983

%A S. Kunifuji
%A et al.
%T Amalgamation of object and meta knowledge via Prolog and its applications
%R ICOT Technical Report TR-009
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983
%O in Japanese

%A H. Kitakami
%A et al.
%T Method for realizing a knowledge assimilation mechanism
%R ICOT Technical Report TR-010
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983
%O in Japanese

%A S. Uchida
%T Inference machine: from sequential to parallel
%R ICOT Technical Report TR-011
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983
%O also in ``Proceedings of the 10th International
Symposium on Computer Architecture'', June 1983

%A K. Murakami
%A T. Kakuta
%A N. Miyazaki
%A S. Shibayama
%A H. Yokota
%T A relational database machine: first step towards a knowledge base machine
%R ICOT Technical Report TR-012
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983
%O also in ``Proceedings of the 10th International
Symposium on Computer Architecture'', June 1983

%A H. Nishikawa
%A M. Yokota
%A A. Yamamoto
%A K. Taki
%A S. Uchida
%T The personal sequential inference Machine(PSI):
its design philosophy and machine architecture
%R ICOT Technical Report TR-013
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983
%O also in ``Proceedings of Logic Programming Workshop'', Portugal, 1983

%A H. Nishikawa
%A M. Yokota
%A A. Yamamoto
%A K. Taki
%A S. Uchida
%T The personal sequential inference Machine (PSI):
its design philosophy and machine architecture
%R ICOT Technical Report TR-014
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983
%O in Japanese

%A J.A. Robinson
%T Logic programming - past, present and future
%R ICOT Technical Report TR-015
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983

%A M. Sato
%A T. Sakurai
%T Qute: a Prolog/LISP type language for logic programming
%R ICOT Technical Report TR-016
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983
%O also in ``Proceedings of 8th IJCAI'', Karlsruhe, 1983

%A T. Hikita
%T Average size of Turner's translation to combinator programs
%R ICOT Technical Report TR-017
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983

%A H. Tamaki
%A T. Sato
%T A transformation system for logic programs which preserves equivalence
%R ICOT Technical Report TR-018
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983

%A Hideki Yasukawa
%T LFG in Prolog - toward a formal system for representing grammatical relations
%R ICOT Technical Report TR-019
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D August 1983

%A Hideki Hirakawa
%A R. Onai
%A K. Furukawa
%T Implementing an OR-Parallel optimizing Prolog system (POPS)
in Concurrent Prolog
%R ICOT Technical Report TR-020
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983
%O in Japanese

%A S. Takagi
%T Customizable microprogram assembler
%R ICOT Technical Report TR-021
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983
%O in Japanese

%A K. Furukawa
%A R. Nakajima
%T Modularization and abstraction in logic programming
%R ICOT Technical Report TR-022
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 19883
%O also in New Generation Computing 1:2

%A M. Aso
%A R. Onai
%T XP's: an extended OR-parallel Prolog system
%R ICOT Technical Report TR-023
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983
%O in Japanese

%A K. Sugiyama
%A M. Kameda
%A K. Akiyama
%A A. Makinouchi
%T A knowledge representation system in Prolog
%R ICOT Technical Report TR-024
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983

%A T. Miyachi
%A S. Kunifuji
%A H. Kitakami
%A S. Takeuchi
%A K. Furukawa
%T A knowledge assimilation method for logic databases
%R ICOT Technical Report TR-025
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983
%O also in ``Proceedings of International Sysmposium on Logic Programming'',
Atlantic City, 1984

%A H. Yokota
%A S. Kunifuji
%A H. Kitakami
%A S. Takeuchi
%A K. Furukawa
%T An enhanced inference mechanism for generating relational algebra queries
%R ICOT Technical Report TR-026
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983
%O also in ``Proceedings of International Sysmposium on Logic Programming'',
Atlantic City, 1984

%A H. Yasuura
%T On the parallel complexity of unification
%R ICOT Technical Report TR-027
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983

%A K. Sakai
%A T. Miyachi
%T Incorporating naive negation into Prolog
%R ICOT Technical Report TR-028
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983
%O also in ``Proceedings of Logic and Computation Conference'',
Australia, 1984

%A K. Furukawa
%A A. Takeuchi
%A S. Kunifuji
%T Mandala: a Concurrent Prolog based knowledge programming language/system
%R ICOT Technical Report TR-029
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983

%A H. Enomoto
%A N. Yonezaki
%A M. Saeki
%T Paradigms of knowledge based software system and its service image
%R ICOT Technical Report TR-030
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983

%A H. Yokota
%A et al
%T How can we combine a relational database
and a Prolog-based inference mechanism ?
%R ICOT Technical Report TR-031
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983
%K in Japanese

%A R. Onai
%A et al
%T Static analyzer of DEC-10 Prolog program
%R ICOT Technical Report TR-032
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983
%K in Japanese

%A N. Ito
%A Y. Masuda
%T Parallel inference machine based on the data flow model
%R ICOT Technical Report TR-033
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983

%A E. Shapiro
%T Systems programming in Concurrent Prolog
%R ICOT Technical Report TR-034
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983

%A N. Ito
%A K. Masuda
%A H. Shimizu
%T Parallel Prolog machine based on the data flow model
%R ICOT Technical Report TR-035
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983

%A K. Ueda
%A A. Takeuchi
%A S. Kunifuji
%A K. Furukawa
%T String manipulation in Concurrent Prolog
%R ICOT Technical Report TR-036
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1983
%O in Japanese

%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 Report TR-037
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A H. Miyoshi
%A H. Hirakawa
%A H. Yasukawa
%A K. Mukai
%A K. Furukawa
%A T. Morishita
%T BUP system
%R ICOT Technical Report TR-038
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A A. Ishii
%T Survey on proof-reading of newspapers using real data
%R ICOT Technical Report TR-039
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984
%O in Japanese

%A H. Schweppe
%T Some comments on sequential disck cache management for knowledge base systems
%R ICOT Technical Report TR-040
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A M. Aso
%T Simulator of XP'S
%R ICOT Technical Report TR-041
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984
%K in Japanese

%A R. Onai
%A M. Aso
%A A. Takeuchi
%T An approach to a parallel inference machine
based on control-driven and data-driven mechanisms
%R ICOT Technical Report TR-042
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A K. Furukawa
%A et al
%T Mandala: knowledge programming system on logic programming language
%R ICOT Technical Report TR-043
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984
%K in Japanese

%A T. Chikayama
%T ESP reference manual
%R ICOT Technical Report TR-044
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A M. Yokota
%A A. Yamamoto
%A K. Taki
%A H. Nishikawa
%A S. Uchida
%T The design and implementation of a personal sequential inference machine:
PSI
%R ICOT Technical Report TR-045
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984
%O also in New Generation Computing 1:2

%A J. Tsuji
%A T. Kurokawa
%A S. Tojo
%A U. Iima
%A O. Nakazawa
%A S. Enomoto
%T Dialogue management in the personal sequential inference machine
%R ICOT Technical Report TR-046
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984
%O also in Proceedings of ACM '84, San Francisco, USA, 1984.

%A H. Sawamura
%A et al
%T Prolog source level optimizer; catalogue of optimization methodology
%R ICOT Technical Report TR-047
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984
%K in Japanese

%A R. Onai
%A et al
%T Analysis of sequential Prolog program
%R ICOT Technical Report TR-048
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A S. Kunifuji
%A et al
%T Meta-inference and its application in a logic programming language
%R ICOT Technical Report TR-049
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984
%O in Japanese

%A T. Ito
%A et al
%T Architecture of dataflow parallel inference machine
%R ICOT Technical Report TR-050
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984
%O in Japanese

%A M. Sugimoto
%T Software development supporting system
%R ICOT Technical Report TR-051
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984
%O in Japanese

%A K. Taki
%A et al
%T Hardware design of personal sequential inference machine
%R ICOT Technical Report TR-052
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984
%O in Japanese

%A S. Shibayama
%A T. Kakuta
%A N. Miyazaki
%A H. Yokota
%A K. Murakami
%T A relational database machine
with large semiconducter disk and hardware relational algebra processor
%R ICOT Technical Report TR-053
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984
%O also in New Generation Computing 2:2.

%A K. Furukawa
%A S. Kunifuji
%A A. Takeuchi
%A K. Ueda
%T The conceptual specification of the kernel language version 1
%R ICOT Technical Report TR-054
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A T. Hattori
%A J. Tsuji
%A T. Yokoi
%T SIMPOS: an operating system for a personal Prolog machine PSI
%R ICOT Technical Report TR-055
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A T. Hattori
%A T. Yokoi
%T The concept and facilities of SIMPOS supervisor
%R ICOT Technical Report TR-056
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A S. Takagi
%A T. Chikayama
%A T. Hattori
%A J.Tsuji
%A T. Yokoi
%A S. Uchida
%A T. Kurokawa
%A K. Sakai
%T Overall design of SIMPOS
(Sequential Inference Machine Programming and Operating System)
%R ICOT Technical Report TR-057
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984
%O also in Proceedings of Second International Conference on Logic Programming,
Uppsala, Sweden, 1984.

%A F. Maruykama
%A I. Mano
%A K. Hayashi
%A T. Kakuta
%A N. Kawado
%A T. Uehara
%T Prolog-based expert system for logic design
%R ICOT Technical Report TR-058
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A T. Hattori
%A T. Yokoi
%T The concept and facilities of SIMPOS file system
%R ICOT Technical Report TR-059
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A T. Yokomori
%T A note on the set abstraction in logic programming language
%R ICOT Technical Report TR-060
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984
%O also in Proceedings of FGCS '84, Tokyo, Japan, 1984.

%A T. Kurokawa
%A S. Tojyo
%T Coordinator - the kernel of the programming system
for the personal sequential inference machine (PSI)
%R ICOT Technical Report TR-061
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A K. Sakai
%T An ordering for term rewriting systems
%R ICOT Technical Report TR-062
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A H. Sakai
%A K. Iwata
%A S. Kamiya
%A K. Abe
%A T. Tanaka
%A S. Shibayama
%A K. Murikami
%T Design and implementation of the relational database engine
%R ICOT Technical Report TR-063
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984
%O also in Proceedings of FGCS '84, Tokyo, Japan, 1984.

%A S. Shibayama
%A T. Kakuta
%A N. Miyazaki
%A H. Yokota
%A K. Murakami
%T Query processing flow on RDBM Delta's functionally-distributed architecture
%R ICOT Technical Report TR-064
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984
%O also in Proceedings of FGCS '84, Tokyo, Japan, 1984.

%A K. Ueda
%A T. Chikayama
%T Efficient stream/array processing in logic programming language
%R ICOT Technical Report TR-065
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984
%O also in Proceedings of FGCS '84, Tokyo, Japan, 1984.

%A K. Iwata
%A S. Kamiya
%A H. Sakai
%A S. Matsuda
%A S. Shibayama
%A K. Murikami
%T Design and implementation of a two-way merge-sorter
and its application to relational database processing
%R ICOT Technical Report TR-066
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A H. Enomoto
%A N. Yonezaki
%A M. Saeki
%A K. Chiba
%A T. Takizuka
%A T. Yokoi
%T Natural language based software development system Tell
%R ICOT Technical Report TR-067
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A H. Enomoto
%A N. Yonezaki
%A M. Saeki
%T Formal specification and verification for concurrent systems by Tell
%R ICOT Technical Report TR-068
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%T Knowledge representation
%E F. Mizoguchi
%E K. Furukawa
%R ICOT Technical Report TR-070
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A M. Sugimoto
%A H. Kato
%A H. Yoshida
%T Design concept for a software development consultation system
%R ICOT Technical Report TR-071
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A T. Ida
%A A. Konagaya
%T Comparison of closure reduction and combinatory reduction schemes
%R ICOT Technical Report TR-072
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A N. Miyazaki
%A T. Kakuta
%A S. Shibayama
%A H. Yokota
%A K. Murakami
%T An overview of relational database machine Delta
%R ICOT Technical Report TR-074
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A K. Taki
%A M. Yokota
%A A. Yamamoto
%A H. Nishikawa
%A S. Uchida
%A H. Nakashima
%A A. Mitsuishi
%T Hardware design and implementation
of the personal sequential inference machine (PSI)
%R ICOT Technical Report TR-075
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984
%O also in processing of FGCS '84, Tokyo, Japan, 1984.

%A K. Furukawa
%A A. Takeuchi
%A S. Kunifuji
%A H. Yasukawa
%A M. Ohki
%A K. Ueda
%T Mandala: a logic based knowledge programming system
%R ICOT Technical Report TR-076
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984
%O also in processing of FGCS '84, Tokyo, Japan, 1984.

%A R. Onai
%A et al
%T Parallel inference machine PIM-R: its architecture and software simulation
%R ICOT Technical Report TR-077
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984
%O in Japanese

%A H. Kondou
%T Plan for constructing knowledge architecture
%R ICOT Technical Report TR-078
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984
%O in Japanese

%A A. yamamoto
%A et al
%T A microprogrammed interpreter for the personal sequential inference machine:
PSI
%R ICOT Technical Report TR-079
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984
%O in Japanese

%A T. Kato
%T The development of experimental QA-system on situation semantics
%R ICOT Technical Report TR-080
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984
%O in Japanese

%A A. Taguchi
%A et al
%T The compound local area network INI - its physical network configuration
and characteristics of physical layer protocols
%R ICOT Technical Report TR-081
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984
%O in Japanese

%A K. Kawanobe
%T Current status and future plans
of the fifth generation computer systems project
%R ICOT Technical Report TR-083
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A K. Murakami
%A T. Kakuta
%A R. Oani
%T Architectures and hardware systems:
parallel inference machine and knowledge base machine
%R ICOT Technical Report TR-084
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A K. Furukawa
%A T. Yokoi
%T Basic software system
%R ICOT Technical Report TR-085
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A S. Uchida
%A T. Yokoi
%T Sequential inference machine: SIM progress report
%R ICOT Technical Report TR-086
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A T. Yokoi
%A S. Uchida
%Q ICOT Third Laboratory
%T Sequential inference machine SIM: its programming and operating system
%R ICOT Technical Report TR-087
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A H. Sawamura
%A T. Takeshima
%T Recursive unsolvability of determinacy, solvable cases of determinacy
and their applications to Prolog optimization
%R ICOT Technical Report TR-088
%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 The design and implementation of relational database machine Delta
%R ICOT Technical Report TR-089
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A T. Miyazaki
%A A. Takeuchi
%A T. Chikayama
%T A sequential implementation of Concurrent Prolog
based on the shallow binding scheme
%R ICOT Technical Report TR-090
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A S. Kamiya
%A K. Iwata
%A H. Sakai
%A S. Matsuda
%T A hardware pipeline algorithm for relational database processing
and its implementation
%R ICOT Technical Report TR-091
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A K. Ueda
%A T. Chikayama
%T Concurrent Prolog compiler on top of Prolog
%R ICOT Technical Report TR-092
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A T. Mano
%A F. Maruyama
%A K. Hayashi
%A T. Kakuda
%A N. Kawato
%A T. Uehara
%T OCCAM to CMOS experimental logic design support
%R ICOT Technical Report TR-093
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A T. Kamomori
%A H. Fujita
%T Formulation of induction formulas in verification of Prolog programs
%R ICOT Technical Report TR-094
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A T. Kanamori
%A K. Horiuchi
%T Type inference in Prolog and its applications
%R ICOT Technical Report TR-095
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A T. Kanamori
%A H. Seki
%T Verification of Prolog programs using an extension of execution
%R ICOT Technical Report TR-096
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A K. Futatsugi
%A J.A. Goguen
%A J-P. Jouannaud
%A J. Meseguer
%T Principles of OBJ2
%R ICOT Technical Report TR-097
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A F. Maruyama
%A T. Mano
%A K. Hayashi
%A T. Kakuda
%A N. Kawato
%A T. Uehara
%T Logic design: issues in building knowledge-based design systems
%R ICOT Technical Report TR-098
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984

%A N. Ito
%A H. Shimizu
%A M. Kishi
%A E. Kuno
%A K. ROkasawa
%T Data-flow based execution mechanisms of parallel and concurrent Prolog
%R ICOT Technical Report TR-099
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1984
%O also in New Generation Computing 3:1.

%A H. Miyoshi
%A Y. Tanaka
%A T. Yokoi
%A T. Ishiwata
%A H. Tanaka
%A S. Amano
%A H. Uchida
%A T. Ogino
%T Basic specification of the machine-readable dictionary
%R ICOT Technical Report TR-100
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A K. Mukai
%T Horn clause logic with paremeterized types for situation semantics
%R ICOT Technical Report TR-101
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A K. Ueda
%T Guarded Horn Clauses
%R ICOT Technical Report TR-103
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A S. Hayashi
%T Towards automated synthetic differential geometry 1
- basic categorical construction
%R ICOT Technical Report TR-104
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A R. Onai
%A M. Aso
%A H. Shimizu
%A K. Masuda
%A A. Matsumoto
%T Architecture of a reduction-based parallel inference machine: PIM-R
%R ICOT Technical Report TR-105
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985
%O also in New Generation Computing 3:2.

%A T. Sakurai
%A M. Fujita
%T Operation manual for Qute processor
%R ICOT Technical Report TR-106
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985
%O in Japanese

%A S. Kunifuji
%A H. Kitakami
%A T. Miyachi
%A K. Furukawa
%T Foundations and applications of knowledge engineering:
Prolog-based knowledge base management
%R ICOT Technical Report TR-107
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985
%O in Japanese
%O also in Instrumentation and Control 24:6.

%A H. Seki
%A T. Kanamori
%T Incorporating generalization heuristics into verification of Prolog programs
%R ICOT Technical Report TR-108
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A A. Takeuchi
%A H. Kondoh
%A M. Ohki
%A K. Furukawa
%T Application of partial evaluation to meta programming
%R ICOT Technical Report TR-109
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985
%O in Japanese

%A A. Yamomoto
%A M. Mitsui
%A H. Yoshida
%A K. nakajima
%A M. Yokota
%T The program characteristics in logic programming language ESP
%R ICOT Technical Report TR-112
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A K. Mukai
%T Unification over complex indeterminates in Prolog
%R ICOT Technical Report TR-113
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A M. Kishi
%A E. Kuno
%A N. Itoh
%A K. Rokusawa
%T The dataflow-based parallel inference machine
to support two basic languages in KL1
%R ICOT Technical Report TR-114
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A S. Kunifuji
%T Toward mechanization of deductive, inductive and abductive reasoning
%R ICOT Technical Report TR-115
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985
%O in Japanese

%A H. Yoshida
%A H. Katoh
%A M. Sugimoto
%T A method to retrieve software modules through functional specifications
formalized using first-order predicate logic formulate
%R ICOT Technical Report TR-116
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985
%O in Japanese

%A H. Hirakawa
%T Object identification method in the discourse understanding system DUALS
%R ICOT Technical Report TR-117
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985
%O in Japanese

%A M. Kishimoto
%A T. Shinoki
%A A. Hattori
%A Y. Kimura
%T Design and evaluation of a Prolog compiler
%R ICOT Technical Report TR-118
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985
%O in Japanese

%A M. Sugie
%A M. Yoneyama
%A T. Sakabe
%A M. Iwasaki
%A S. Yoshizumi
%A R. Onai
%A M. Asoh
%A H. Shimizu
%T Prototyping of a hardware simulator
of a reduction-based parallel inference machine PIM-R
%R ICOT Technical Report TR-119
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985
%O in Japanese

%A S. Kunifuji
%A K. Furukawa
%A H. Kitakami
%A T. Miyachi
%T Knowledge base management implemented in Prolog
%R ICOT Technical Report TR-120
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985
%O in Japanese

%A H. Kitakami
%A T. Miyachi
%A S. Kunifuji
%A K. Furukawa
%T Deductive database system based on unit resolution
%R ICOT Technical Report TR-121
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A R. Onai
%A H. Shimizu
%A M. Asoh
%A K. Masuda
%A A. Matsumoto
%T Architecture of a reduction-based parallel inference machine PIM-R
%R ICOT Technical Report TR-122
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A H. Yokota
%A K. Sakai
%A H. Itoh
%T Deductive database system based on unit resolution
%R ICOT Technical Report TR-123
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A S. Ishii
%T Proofreading Japanese word usage and proper nouns by computer
%R ICOT Technical Report TR-125
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A A. Takeuchi
%A K. Furukawa
%T Partial evaluation of Prolog programs and its application to meta
programming
%R ICOT Technical Report TR-126
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A H. Kondoh
%T A report on the study of knowledge architecture
- especially on its functional specification
%R ICOT Technical Report TR-127
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985
%O in Japanese

%A K. Sakai
%A H. Hirakawa
%A Y. Tanaka
%A H. Yasukawa
%T The correctness of two translation methods
from definite clause grammars into Prolog programs
%R ICOT Technical Report TR-128
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A S. Kunifuji
%A A. Takeuchi
%A T. Takewaki
%A M. Ohki
%A K. Furukawa
%T An approach to knowledge information processing through meta programming
%R ICOT Technical Report TR-129
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985
%O in Japanese

%A T. Yokomori
%T Representation theorems and primitive predicates for logic programs
%R ICOT Technical Report TR-131
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A A. Fusaoka
%A K. Takahashi
%T On QFTL and the refutation procedure on omega-graphs
%R ICOT Technical Report TR-132
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A H. Kitakami
%T A knowledge acquisition system
%R ICOT Technical Report TR-134
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985
%O in Japanese

%A H. Yoshida
%A H. Katoh
%A M. Sugimoto
%T Retrieval of software module functions
using first-order predicate logical formulae
%R ICOT Technical Report TR-135
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A M. Kishimoto
%A T. Shinogi
%A Y. Kimura
%A A. Hattori
%T Design and evaluation of a Prolog compiler
%R ICOT Technical Report TR-136
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A S. Kunifuji
%A T. Takewaki
%A H. Seki
%A A. Takeuchi
%A M. Ohki
%A K. Furukawa
%A K. Tsurumaki
%T Antalgamation of logic programming
and knowledge information processing technologies through meta programming
%R ICOT Technical Report TR-137
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985
%O in Japanese

%A R. Onai
%A K. Masuda
%A H. Shimizu
%A A. Matsumoto
%A M. Asoh
%T Architecture and evaluation of a reduction-based inference machine PIM-R
%R ICOT Technical Report TR-138
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A M. Kishishita
%A T. Yokomori
%A J. Tanaka
%T Single queue compilation in extended Concurrent Prolog
%R ICOT Technical Report TR-139
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A T. Takewaki
%A T. Miyachi
%A S. Kunifuji
%A K. Furukawa
%T An algebraic manipulation system
using meta-level inference based on human heuristics
%R ICOT Technical Report TR-140
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A H. Yokota
%A H. Itoh
%T A model and an architecture for a relational knowledge base
%R ICOT Technical Report TR-141
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A K. Nakashima
%A H. Nishikawa
%A A. Yamamoto
%A M. Mitsui
%A K. Nakajima
%A M. Yokota
%A K. Taki
%A S. Uchida
%T Evaluation of PSI microinterpreter
%R ICOT Technical Report TR-142
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A H. Seki
%A A. Takeuchi
%T An algorithm for encoding a query which discriminates competing hypotheses
%R ICOT Technical Report TR-143
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A M.H. van\ Emden
%A M. Ohki
%A A. Takeuchi
%T Spreadsheets with incremental queries
as a user interface for logic programming
%R ICOT Technical Report TR-144
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A K. Ueda
%T Making exhaustive search programs deterministic
%R ICOT Technical Report TR-145
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A Y. Matsumoto
%T A parallel parsing system for natural language analysis
%R ICOT Technical Report TR-146
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A H. Tanaka
%T Knowledge representation formalism DCKR and its application
%R ICOT Technical Report TR-147
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985
%O in Japanese

%A T. Takewaki
%A A. Takeuchi
%A S. Kunifuji
%A K. Furukawa
%T Application of partial evaluation to the algebraic manipulation system
and its evaluation
%R ICOT Technical Report TR-148
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A M. Murakami
%A H. Yokota
%A H. Itoh
%T Formal semantics of a relational knowledge base
%R ICOT Technical Report TR-149
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A H. Katoh
%A H. Yoshida
%A M. Sugimoto
%T Logic-based retrieval and reuse of software modules
%R ICOT Technical Report TR-153
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1985

%A H. Sawamura
%T Prolog program optimization
%R ICOT Technical Report TR-154
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1986
%O in Japanese

%A K. Yokoyama
%A M. Noro
%A T. Takeshima
%T Factorization of a certain Euclidean ring polynomial formula
(Lenstra method and its generalization)
%R ICOT Technical Report TR-155
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1986
%O in Japanese

%A J. Monoi
%A H. Yokota
%A H. Itoh
%T A large-scale knowledge base machine control technique
using multi-port page-memory
%R ICOT Technical Report TR-156
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1986

%A M. Abe
%A T. Kakuta
%A H. Itoh
%T Parallel control techniques for dedicated relational database engines
%R ICOT Technical Report TR-157
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1986

%A Y. Morita
%A H. Yokota
%A K. Nishida
%A H. Itoh
%T Retrieval-by-unification operation on a relational knowledge based model
%R ICOT Technical Report TR-158
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1986

%A M. Kishishita
%A J. Tanaka
%A T. Miyazaki
%A K. Taki
%A T. Chikayama
%T Distributed implementation of FGHC -
toward the realization of multi-PSI system
%R ICOT Technical Report TR-159
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1986

%A E. Kuno
%A N. Itoh
%A M. Sato
%A K. Rokusawa
%T The architecture and preliminary evaluation results
of the experimental parallel inference machine PIM-D
%R ICOT Technical Report TR-160
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1986

%A T. Minami
%T A theorem prover based on connection graph and its implementation by Prolog
%R ICOT Technical Report TR-161
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1986

%A T. Ida
%A J. Tanaka
%T Computational model of functional languages
%R ICOT Technical Report TR-162
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1986
%O in Japanese

%A A. Takeuchi
%A K. Furukawa
%T Parallel logic programming languages
%R ICOT Technical Report TR-163
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1986

%A Y. Ohara
%A S. Torii
%A K. Ono
%A M. Kishishita
%A J. Tanaka
%A T. Miyazaki
%T Prototyping of kernel language software simulator
%R ICOT Technical Report TR-164
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1986
%O in Japanese

%A N. Itoh
%A M. Kishi
%A E. Kuno
%A K. Rokusawa
%T Evaluation of parallel inference machine PIM-D
%R ICOT Technical Report TR-165
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1986
%O in Japanese

%A A. Takeuchi
%T Affinity between meta interpreters and partial evaluation
%R ICOT Technical Report TR-166
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1986

%A T. Aratani
%A Y. Katayama
%A K. Hiraishi
%A M. Toda
%T Designing hybrid problem solving support environments "KORE"
by logic programming language -
an approach to intelligent decision support system
%R ICOT Technical Report TR-167
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1986

%A J. Tanaka
%A K. Ueda
%A T. Miyazaki
%A A. Takeuchi
%A Y. Matsumoto
%A K. Furukawa
%T Guarded Horn Clauses and experiences with parallel programming
%R ICOT Technical Report TR-168
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1986

%A Y. Katayama
%T Program development support environment using object oriented expressions
- planning and management system implementation in program development
%R ICOT Technical Report TR-169
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1986
%O in Japanese

%A Y. Sakakibara
%T Programming in modal logic
%R ICOT Technical Report TR-170
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1986
%O in Japanese

%A T. Minami
%A H. Sawamura
%A K. Satoh
%A M. Ono
%A K. Ono
%T Logic proof editor - proof construction tool for verification support system
%R ICOT Technical Report TR-171
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1986
%O in Japanese

%A H. Satoh
%A H. Matsumoto
%T Intelligent support for office work
with a Prolog-based object oriented-programming language ESP
%R ICOT Technical Report TR-172
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1986

%A Y. Iwashita
%A J. Sawamoto
%T Development of expert systems
in the Fifth Generation Computer Systems project
%R ICOT Technical Report TR-173
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1986

%A H. Takenouchi
%A Y. Iwashita
%T An integrated knowledge representation scheme for expert systems
%R ICOT Technical Report TR-174
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1986

%A T. Kanamori
%T Soundness and completeness of extended execution
for proving properties of Prolog programs
%R ICOT Technical Report TR-175
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1986

%A T. Kanamori
%A H. Fujita
%A K. Horiuchi
%A M. Maeji
%T Argus/v: a system for verification of Prolog programs
%R ICOT Technical Report TR-176
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1986

%A T. Kanamori
%A K. Horiuchi
%T Construction of logic programs based on generalized fold/unfold rules
%R ICOT Technical Report TR-177
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1986

%A T. Kanamori
%A M. Maeji
%T Derivation of logic programs from implicit definition
%R ICOT Technical Report TR-178
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1986

%A T. Kanamori
%A H. Fujita
%T Unfold/fold transformation of logic programs with counters
%R ICOT Technical Report TR-179
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1986

%A T. Mano
%A S. Saitoh
%A M. Komatsu
%A K. Yoshida
%A T. Chikayama
%T Realization of object oriented large-scale system
- file sharing system development in SIMPOS
%R ICOT Technical Report TR-180
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1986
%O in Japanese

%A K. Yokoyama
%A M. Noro
%A T. Takeshima
%T Factorization of finite field single variable polynomial formulas
%R ICOT Technical Report TR-181
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1986
%O in Japanese

%A A. Takeuchi
%T Algorithmic debugging of GHC programs and its implementation in GHC
%R ICOT Technical Report TR-185
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1986

%A J. Lloyd
%A A. Takeuchi
%T A framework for debugging GHC
%R ICOT Technical Report TR-186
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1986

%A Atsushi Goto
%A Shunichi Uchida
%T Toward a high performance parallel inference machine
- the intermediate stage plan of PIM
%R ICOT Technical Report TR-201
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D 1986

%A Kazunori Ueda
%T Introduction to Guarded Horn Clauses
%R ICOT Technical Report TR-209
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D October 1986
%P 12

%A T. Chikayama
%A Y. Kimura
%T Multiple reference management in Flag GHC
%R ICOT Technical Report TR-248
%I Institute for New Generation Computer Technology
%C Tokyo, Japan
%K icot
%D March 1987
%P 15