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, Kazuko 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
  

Volume 2, Number 2, 1984

• 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
  

Volume 2, Number 3, 1984

• 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
  

Volume 2, Number 4, 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
  

Last update Sat May 18 20:48:54 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page