New Generation Computing, Volume 2

Volume 2, Number 1, 1984

David H. Brandin: Number Rules the Universe - The Pythagoreans. 1-2
Harvey Abramson: A Prological Definition of HASL a Purely Functional Language with Unification Based Conditional Binding Expressions. 3-35
Atsuhiro Goto, Hidehiko Tanaka, Tohru Moto-Oka: Highly Parallel Inference Engine PIE: Goal Rewriting Model and Machine Architecture. 37-58
Masami Hagiya, Takafumi Sakurai: Foundation of Logic Programming Based on Inductive Definition. 59-77
Akira Fusaoka, Hirohisa Seki, Kuzuko Takahashi: Description and Reasoning of VLSI Circuit in Temporal Logic. 79-90
Hiroshi Maruyama, Akinori Yonezawa: A Prolog-Based Natural Language Front-End System. 91-99

Teruo Fukumura: Towards the Integration of the Knowledge Information Processing. 103-104
Makoto Amamiya, Ryuzo Hasegawa: Dataflow Computing and Eager and Lazy Evaluations. 105-129
Shigeki Shibayama, Takeo Kakuta, Nobuyoshi Miyazaki, Haruo Yokota, Kunio Murakami: A Relational Database Machine with Large Semiconductor Disk and Hardware Relational Algebra Processor. 131-155
Anthony J. Kusalik: Bounded-Wait Merge in Shapiro's Concurrent Prolog. 157-169
Setsuo Arikawa, Takeshi Shinohara: A Run-Time Efficient Realization of Aho-Corasick Pattern Matching Machines. 171-186
Eugenio Oliveira: Developing Expert Systems Builders in Logic Programming. 187-194
Akihiko Konagaya, Mamoru Umemura: Knowledge Information Processing Language: ShapeUp. 195-201

Iwao Toda: Communication and Knowledge Engineering. 205-206
Joxan Jaffar: Efficient Unification over Infinite Terms. 207-219
Ehud Y. Shapiro, Colin Mierowsky: Fair, Biased, and Self-Balancing Merge Operators: Their Specification and Implementation in Concurrent Prolog. 221-240
Yuzuru Tanaka: A Multiport Page-Memory Architecture and A Multiport Disk-Cache System. 242-260
Tetsuo Ida, Jiro Tanaka: Functional Programming with Streams, Part II. 262-275
Hiroshi Yasuhara, Kazuhiko Nitadori: ORBIT: A Parallel Computing Model of Prolog. 277-288
Anthony J. Kusalik: Serialization of Process Reduction in Concurrent Prolog. 289-298

Special Issue: Papers from SLP 1984

Doug DeGroot: Poking the Giant's Eye Out. 303-304
Ehud Y. Shapiro: Guest Editor's Preface. 305-308
David A. Plaisted: The Occur-Check Problem in Prolog. 309-322
Evan Tick, David H. D. Warren: Towards a Pipelined Prolog Processor. 323-345
Mats Carlsson: On Implementing Prolog in Functional Programming. 347-359
David Scott Warren: Efficient Prolog Memory Management for Flexible Control Strategies. 361-369
Mark E. Stickel: A Prolog Technology Theorem Prover. 371-383
Taizo Miyachi, Susumu Kunifuji, Hajime Kitakami, Koichi Furukawa, Akikazu Takeuchi, Haruo Yokota: A Knowledge Assimilation Method for Logic Databases. 385-404