New Generation Computing, Volume 4, 1986

Volume 4, Number 1, 1986

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

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

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

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