Nial: A candidate language for fifth generation computer systems

ABSTRACT

The anticipated fifth generation of computing systems presents many challenges. One of the more important is the challenge of designing languages suitable for describing the parallel computations which these systems will achieve. The new systems will outpace the expressive power of most existing languages. As the hardware components and AI techniques are developed to achieve the fifth generation, so must appropriate languages be created. Another view of the fifth generation is that it is to be distinguished from previous systems, in large part, by being language driven. That is, the abstraction of some functional language is to be the driving force behind the machine design, and that potential parallelism in the language should motivate parallelism in the machine.

REFERENCES

• 1: Alfred V. Aho , Jeffrey D. Ullman, Principles of Compiler Design (Addison-Wesley series in computer science and information processing), Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1977
• 2: Falkoff, A. D. and Iverson, K. E., APL/360 User's Manual, Thomas J. Watson Research Center, IBM Corp., Yorktown, N.Y., July, 1968.
• 3: APL2 Language Manual, IBM Corp., SB21-3015-0, (June, 1982).
• 4: John Backus, Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs, Communications of the ACM, v.21 n.8, p.613-641, Aug. 1978 [doi>10.1145/359576.359579]
• 5: Barr, A., and Feigenbaum, E., The Handbook of Artificial Intelligence, vol 1, HeurisTech Press, Stanford, CA, 1981, pp. 74-83.
• 6: Bolt Beranek and Newman, presentation given to the AI Lab, M.I.T., Dec., 1983.
• 7: Conway, L., "Strategic Computing: A Strategic Plan for the Development of Machine Intelligence Technology and Its Application to Critical Problems in Defense," DARPA, Conference on Advanced Research in VLSI, M.I.T., Penfield, ed., Jan., 1984.
• 8: Flynn, M. J., "Very High-Speed Computing systems," Proceedings of the IEEE, 54,12 (Dec., 1966), pp. 1901-1909.
• 9: Flynn, M. J., "Directions and Issues in Architecture and Language," IEEE Computer, October 1980, pp. 5-22.
• 10: Flynn, M. J., "Execution Architecture: The DELtran Experiment," IEEE Computer 32,2 (Feb, 1983), pp. 156-175.
• 11: Foderaro, J. K., and Sklower, K. L., The Franz Lisp Manual, University of California, Berkeley, CA., 1980.
• 12: Glasgow, J. J., "Logic Programming in Nial," in preparation.
• 13: Glasgow, J. J., and Browse, R., "Programming Languages for Artificial Intelligence," to appear in the International Journal of Computers and Mathematics.
• 14: Allan Gottlieb , Boris D. Lubachevsky , Larry Rudolph, Basic Techniques for the Efficient Coordination of Very Large Numbers of Cooperating Sequential Processors, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.2, p.164-189, April 1983 [doi>10.1145/69624.357206]
• 15: Kai Hwang , Faye A. Briggs, Computer Architecture and Parallel Processing, McGraw-Hill, Inc., New York, NY, 1990
• 16: Jenkins, M. A. and Schmidt, F., "Array Diagrams and the Nial Approach," Tech. Report No. 81-131, Queen's University, Kingston, Canada, Nov. 1981.
• 17: Jenkins, M. A., Q,Nial Reference Manual, Queen's University, Kingston, Canada (Dec., 1983).
• 18: Jenkins, M. A., "A Recursive Development of Array Theory," in preparation.
• 19: Jenkins, M. A., "The Role of Equations in Nial," in preparation.
• 20: Komorowski, H. J., "QLOG - The Programming Environment for Prolog in Lisp," Logic Programming, Clark and Tarnland (eds), Academic Press, 1982.
• 21: Robert Kowalski, Algorithm = logic + control, Communications of the ACM, v.22 n.7, p.424-436, July 1979 [doi>10.1145/359131.359136]
• 22: Alan K. Mackworth, Consistency in Networks of Relations, University of British Columbia, Vancouver, BC, Canada, 1975
• 23: John McCarthy, LISP 1.5 Programmer's Manual, The MIT Press, 1962
• 24: More, T., "Axioms and Theorems for a Theory of Arrays," IBM Journal of Research and Development, 17,2 (March 1973), pp. 135-175.
• 25: Trenchard More, The nested rectangular array as a model of data, Proceedings of the international conference on APL: part 1, p.55-73, May 30-June 01, 1979, New York, New York, United States
• 26: More, T., "Notes on the Diagrams, Logic and Operations of Array Theory," Oyvind Bjorke and Ole I. Franksen (eds.), "Structures and Operations in Engineering and Management Systems," Tapir Publishers, Trondheim, Norway, 1981, pp. 497-666.
• 27: More, T., private communication to Jenkins and McCrosky, August, 1982.
• 28: Robinson, J. A. and Sibert,E.E., "LogLisp: Motivation, Design and Implementation," Logic Programming, Academic Press, 1982.
• 29: Jacob T. Schwartz, Ultracomputers, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.4, p.484-521, Oct. 1980 [doi>10.1145/357114.357116]
• 30: Uttal, B., "Here Comes Computer Inc.," FORTUNE (Oct., 1982), pp. 82-90.
• 31: Daniel Weinreb, Lisp machine manual, Massachusetts Institute of Technology, 1981

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: Nial

Additional Classification:
  C. Computer Systems Organization
  C.1 PROCESSOR ARCHITECTURES
      C.1.2 Multiple Data Stream Architectures (Multiprocessors)
          Subjects: Multiple-instruction-stream, multiple-data-stream processors (MIMD)

  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.5 Programming Languages and Software

General Terms:
Languages