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