Serialization of process reduction in Concurrent Prolog Anthony J. Kusalik Short Notes Pages: 289 - 298
ORBIT: A parallel computing model of Prolog Hiroshi YasuharaKazuhiko Nitadori Regular Papers Pages: 277 - 288
A multiport page-memory architecture and a multiport disk-cache system Yuzuru Tanaka Regular Papers Pages: 241 - 260
Fair, biased, and self-balancing merge operators: Their specification and implementation in Concurrent Prolog Ehud ShapiroColin Mierowsky Regular Papers Pages: 221 - 240
Knowledge information processing language: ShapeUp Akihiko KonagayaMamoru Umemura Short Notes Pages: 195 - 201
Developing expert systems builders in logic programming Eugenio Oliveira Short Notes Pages: 187 - 194
A run-time efficient realization of Aho-Corasick pattern matching machines Setsuo ArikawaTakeshi Shinohara Regular Papers Pages: 171 - 186
A relational database machine with large semiconductor disk and hardware relational algebra processor Shigeki ShibayamaTakeo KakutaKunio Murakami Regular Papers Pages: 131 - 155
Dataflow computing and eager and lazy evaluations Makoto AmamiyaRyuzo Hasegawa Regular Papers Pages: 105 - 129
Towards the integration of the knowledge information processing Teruo Fukumura Preface Pages: 103 - 104
A Prolog-based natural language front-end system Hiroshi MaruyamaAkinori Yonezawa Short Notes Pages: 91 - 99
Description and Reasoning of VLSI circuit in temporal logic Akira FusaokaHirohisa SekiKuzuko Takahashi Short Notes Pages: 79 - 90
Foundation of logic programming based on inductive definition Masami HagiyaTakafumi Sakurai Regular Papers Pages: 59 - 77
Highly parallel inference engine PIE —Goal rewriting model and machine architecture— Atsuhiro GotoHidehiko TanakaTohru Moto-Oka Regular Papers Pages: 37 - 58
A prological definition of HASL a purely functional language with unification based conditional binding expressions Harvey Abramson Regular Papers Pages: 3 - 35
Temporal logic based hardware description and its verification with Prolog Masahiro FujitaHidehiko TanakaTohru Moto-Oka Short Notes Pages: 195 - 203
An English-Japanese machine translation system using the active dictionary Hozumi TanakaHitoshi IsaharaHideki Yasukawa Short Notes Pages: 179 - 185
Modularization and abstraction in logic programming Koichi FurukawaReiji NakajimaAkinori Yonezawa Short Notes Pages: 169 - 177
Inference methods based on extended dempster & Shafer’s theory for problems with uncertainty/fuzziness Mitsuru Ishizuka Regular Papers Pages: 159 - 168
BUP: A Bottom-Up parser embedded in Prolog Yuji MatsumotoHozumi TanakaHideki Yasukawa Regular Papers Pages: 145 - 158
The design and implementation of a personal sequential inference machine: PSI Minoru YokotaAkira YamamotoShunichi Uchida Regular Papers Pages: 125 - 144
A prolog extension for handling negative knowledge Hitoshi AidaHidehiko TanakaTohru Moto-Oka Short Notes Pages: 87 - 91
Outline of the Personal Sequential Inference machine: PSI Shunichi UchidaMinoru YokotaHiroshi Nishikawa Short Notes Pages: 75 - 79
Application of hash to data base machine and its architecture Masaru KitsuregawaHidehiko TanakaTohru Moto-Oka Regular Papers Pages: 63 - 74
Object oriented programming in Concurrent Prolog Ehud ShapiroAkikazu Takeuchi Regular Papers Pages: 25 - 48
ESP — Extended Self-contained PROLOG — as a preliminary Kernel Language of fifth generation computers Takashi Chikayama Regular Papers Pages: 11 - 24
