New Generation Computing, Volume 2

Volume 2, Number 1, 1984

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

Teruo Fukumura: Towards the Integration of the Knowledge Information Processing. 103-104 BibTeX
Makoto Amamiya, Ryuzo Hasegawa: Dataflow Computing and Eager and Lazy Evaluations. 105-129 BibTeX
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 BibTeX
Anthony J. Kusalik: Bounded-Wait Merge in Shapiro's Concurrent Prolog. 157-169 BibTeX
Setsuo Arikawa, Takeshi Shinohara: A Run-Time Efficient Realization of Aho-Corasick Pattern Matching Machines. 171-186 BibTeX
Eugenio Oliveira: Developing Expert Systems Builders in Logic Programming. 187-194 BibTeX
Akihiko Konagaya, Mamoru Umemura: Knowledge Information Processing Language: ShapeUp. 195-201 BibTeX

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

Special Issue: Papers from SLP 1984

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