Journal: New Generation Comput.

Volume 4, Issue 4

337 -- 338Shoichi Noguchi. Toward a Highly Intelligent Communication
339 -- 363Ian Toyn, Colin Runciman. Adapting Combinator and SEC Machines to Display Snapshots of Functional Computations
365 -- 381Masato Takeichi. Inserting Injection Operations to Denotational Specifications
383 -- 399Ulf Nilsson. AID: An Alternative Implementation of DCGs
401 -- 444Ikuo Takeuchi, Hiroshi G. Okuno, Nobuyasu Ohsato. A List Processing Language TAO with Multiple Programming Paradigms

Volume 4, Issue 3

223 -- 224Setsuo Ohsuga. Artificial Intelligence as New Gneration Computing Technology
225 -- 244Dik Lun Lee. ALTEP - A Cellular Processor for High-Speed Pattern Matching
245 -- 272Kay-Ulrich Felgentreu, Wolfram-Manfred Lippe. Low Cost Environment Changing in a Shallow Binding System
273 -- 285J. Rohmer, R. Lescoeur, Jean-Marc Kerisit. The Alexander Method - A Technique for The Processing of Recursive Axioms in Deductive Databases
287 -- 304Maarten H. van Emden, Masaru Ohki, Akikazu Takeuchi. Spreadsheets with Incremental Queries as a User Interface for Logic Programming
305 -- 319Takashi Yokomori. Logic Program Forms
321 -- 329Gianfranco Rossi. Uses of Prolog in Implementation of Expert Systems

Volume 4, Issue 2

113 -- 114Yutaka Ohno. Evolutional Multiplication of Software Environments
115 -- 132Wolfgang Bibel. A Deductive Solution for Plan Generation
133 -- 152T. Y. Chen, Jean-Louis Lassez, Graeme S. Port. Maximal Unifiable Subsets and Minimal Nonunifiable Subsets
153 -- 187Paul J. Voda. Computation of Full Logic Programs Using One-Variable Environments
189 -- 209Anthony J. Kusalik. Specification and Initialization of a Logic Computer System
211 -- 216Ehud Y. Shapiro, Shmuel Safra. Multiway Merge with Constant Delay in Concurrent Prolog

Volume 4, Issue 1

3 -- 4Kazuhiro Fuchi. Toward a New Age of Computing: Succeeding to the Editor-in-Chief
5 -- 33Zahran Halim. A Data-Driven Machine for OR-Parallel Evaluation of Logic Programs
35 -- 50Luis FariƱas del Cerro. MOLOG: A System That Extends PROLOG with Modal Logic
51 -- 66Yukio Kaneda, Naoyuki Tamura, Koichi Wada, Hideo Matsuda, Shumin Kuo, Sadao Maekawa. Sequential Prolog Machine PEK
67 -- 95Robert A. Kowalski, Marek J. Sergot. A Logic-based Calculus of Events
97 -- 105Akira Yamamoto, Hozumi Tanaka. Translating Production Rules into a Forward Reasoning Prolog Program