External Links

    Journal: New Generation Comput.

    Volume 2, Issue 4

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

    Volume 2, Issue 3

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

    Volume 2, Issue 2

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

    Volume 2, Issue 1

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