New Generation Computing, Volume 4, 1986

Volume 4, Number 1, 1986

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

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

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

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