Volume 1,
Number 1,
1983
- Tohru Moto-Oka:
On the Founding of This Journal.
1-2
- Kazuhiro Fuchi:
The Direction the FGCS Project Will Take.
3-9
- Takashi Chikayama:
ESP - Extended Self-contained PROLOG - as a Preliminary Kernel Language of Fifth Generation Computers.
11-24
- Ehud Y. Shapiro, Akikazu Takeuchi:
Object Oriented Programming in Concurrent Prolog.
25-48
- Hideyuki Nakashima, Norihisa Suzuki:
Data Abstraction in Prolog/KR.
49-62
- Masaru Kitsuregawa, Hidehiko Tanaka, Tohru Moto-Oka:
Application of Hash to Data Base Machine and Its Architecture.
63-74
- Shunichi Uchida, Minoru Yokota, Akira Yamamoto, Kazuo Taki, Hiroshi Nishikawa:
Outline of the Personal Sequential Inference Machine: PSI.
75-79
- Takashi Hattori, Toshio Yokoi:
Basic Constructs of the SIM Operating System.
81-85
- Hitoshi Aida, Hidehiko Tanaka, Tohru Moto-Oka:
A Prolog Extension for Handling Negative Knowledge.
87-91
- Hisao Tamaki, Taisuke Sato:
Program Transformation Through Meta-shifting.
93-98
- Fumio Mizoguchi:
PROLOG Based Expert System.
99-104
Volume 1,
Number 2,
1983
- Tosio Kitagawa:
Culture Creation and a New Generation Computer System.
105-106
- John Alan Robinson:
Logic Programming - Past, Present and Future.
107-124
- Minoru Yokota, Akira Yamamoto, Kazuo Taki, Hiroshi Nishikawa, Shunichi Uchida:
The Design and Implementation of a Personal Sequential Inference Machine: PSI.
125-144
- Yuji Matsumoto, Hozumi Tanaka, Hideki Hirakawa, Hideo Miyoshi, Hideki Yasukawa:
BUP: A Bottom-Up Parser Embedded in Prolog.
145-158
- Mitsuru Ishizuka:
Inference Methods Based on Extended Dempster & Shafer's Theory for Problems with Uncertainty/Fuzziness.
159-168
- Koichi Furukawa, Reiji Nakajima, Akinori Yonezawa:
Modularization and Abstraction in Logic Programming.
169-177
- Hozumi Tanaka, Hitoshi Isahara, Hideki Yasukawa:
An English-Japanese Machine Translation System Using the Active Dictionary.
179-185
- Takao Uehara, Nobuaki Kawato:
Logic Circuit Synthesis Using Prolog.
187-193
- Masahiro Fujita, Hidehiko Tanaka, Tohru Moto-Oka:
Temporal Logic Based Hardware Description and Its Verification with Prolog.
195-203
- Hozumi Hamada:
URR: Universal Representation of Real Numbers.
205-209
Copyright © Sun Nov 8 03:43:15 2009
by Michael Ley (ley@uni-trier.de)
