Advertisement

Computer architectures for artificial intelligence

  • Philip C. Treleaven
  • Apostolos N. Refenes
  • Kenneth J. Lees
  • Stephen C. McCabe
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 272)

Keywords

Computer Architecture Garbage Collection Garbage Collector Parallel Inference Content Addressable Memory 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Abelson H. and Sussman G.J., "Structure and Interpretation of Computer Programs", The MIT Press (1984).Google Scholar
  2. [2]
    Ackerman W.B., "Data flow languages", Proc Nat Computer Conf. vol. 48, AFIPS Press, (1979), pp. 1087–1095.Google Scholar
  3. [3]
    Ackerman W.B., and Dennis J., "VAL — a Value Oriented Algorithmic Language", LCS Tech. Rep. TR-218, MIT lab. for Computer Science, (Sept 1979).Google Scholar
  4. [4]
    Akimoto H. et al, "Evaluation of the Dedicated Hardware in FACOM ALPHA", Proc. IEEE COMPCON SPRING '85, pp. 342–348.Google Scholar
  5. [5]
    Aleksander I. et al, "WISARD: A radical step forward in image processing", Sensor Review (July 1984) pp. 120–124.Google Scholar
  6. [6]
    Amamiya M.: "A Design Philosophy of High Level Language for Data Flow Machine Valid", Proc. Annual Conf. of IECE Japan (1981).Google Scholar
  7. [7]
    Anderson T., "The design of multiprocessor Development System", Tech Rep. TR-279, MIT lab for Computer Science, (Sept 1982).Google Scholar
  8. [8]
    Annaratone et al, "WARP Architecture and Implementation", Proc. Thirteenth Int.Symp. on Computer Architecture (1986) (to appear).Google Scholar
  9. [9]
    Anon., "Seeking the mind in pathways of the machine", The Economist, (June 1985), pp. 29–36.Google Scholar
  10. [10]
    Arvind and Gostelow K.P.: "The U-Interpreter", IEEE COMPUTER, vol.15, no.2 (February 1982), pp. 42–49.Google Scholar
  11. [11]
    Ashcroft E.A. and Wadge W.W.: "LUCID, a nonprocedural language with iteration", Comm. ACM, vol.20, no.7 (July 1977), pp. 519–526.Google Scholar
  12. [12]
    Backus J., "Can programming be liberated from the von Neumann style? A functional style and its algebra of programs", Comm. ACM 21,8 (Aug. 1978), 613–641.Google Scholar
  13. [13]
    Baker H.G., "List Processing in Real Time on a Serial Computer", Comm. ACM, vol. 21, no. 4 (April 1978) pp. 280–294.Google Scholar
  14. [14]
    Baker H.G., "Actor Systems for Real-Time Computation", Tech. Rep. TR-197, MIT, lab for Computer Science, (Mar 1978).Google Scholar
  15. [15]
    Barnes J.G.P., "Programming in ADA", Addison-Wesley (1982).Google Scholar
  16. [16]
    Barron I., et al: "Transputer does 5 or more MIPS even when not used in parallel", Electronics, vol. 56, no. 23 (November 1983) pp. 109–115.Google Scholar
  17. [17]
    Batali J., et al, "The SCHEME-81 Architecture — System and Chip", Proc. 1982 Conf. on Advanced Research in VLSI, MIT (January 1982) pp. 69–77.Google Scholar
  18. [18]
    BBN., "BUTTERFLY Parallel Processor Overview", Tech. Rep., Bolt Beranek and Newman labs Inc., Cambrigde, Mas, (June 1985).Google Scholar
  19. [19]
    Berkling K.J., "A computing machine based on tree structures", IEEE Trans. Comp. vol. C-20, no.4 (Jan. 1971), pp. 404–418.Google Scholar
  20. [20]
    Berkling K., "Reduction languages for reduction machines", Proc. 2nd Int. Symp. Computer Architecture IEEE, New York, (1975), pp. 133–140.Google Scholar
  21. [21]
    Bibel W. and Buchberger B., "Towards a Connection Machine for Logical Inference", Proc. Int. Sym. on Fifth Generation and Super Computers, Rotterdam, Dec. 11–13, 1984 (Future Generations Computer Systems, vol. 1, no. 3 (Feb. 1985) pp. 177–188.)Google Scholar
  22. [22]
    Bic, L., "A data-driven Model for Parallel Interpretation of Logic programs", Proc. Int. Con. FGCS, Tokyo, (Nov. 1984), pp. 517–523.Google Scholar
  23. [23]
    Boley, H., "Artificial intelligence languages and machines", Technique et Science Informatiques, vol. 2. No. 3. pp. 145–170.Google Scholar
  24. [24]
    Borgwardt, P., "Parallel Prolog Using Stack Segments on Shared Memory Multiprocessors", Proc. of the 1984 Int. Symp. on Logic Programming, (Feb 1984).Google Scholar
  25. [25]
    Brownston L. et al, "Programming Expert Systems in OPS5", Addison-Wesley Pub. (1985).Google Scholar
  26. [26]
    Buchberger, B., "Components for Restructurable Multi-Microprocessor Systems", Proceedings of the MIMI 83 Conference, Acta Press, (1983), Zurich, pp. 67–71Google Scholar
  27. [27]
    Burstall R.M. et al, "HOPE: An Experimental Applicative Language", Technical Report, University of Edinburgh (1980).Google Scholar
  28. [28]
    Ciepielewsk A. and Haridi S., "Execution of Bagof on the OR-parallel Token Machine", Proc. Int. Conf. of Fifth Generation Computer Systems, Tokyo, (November 1984), pp. 551–562Google Scholar
  29. [29]
    Clark K.L. and Gregory S., "A Relational Language for Parallel Programming", Proc. ACM Conf. on Functional Programming Languages and Computer Architecture (1981).Google Scholar
  30. [30]
    Clark K.L. and Gregory S., "PARLOG: Parallel Programming in Logic", Research report DOC 84/4, Dept. of Comp., Imperial College, London, (1984).Google Scholar
  31. [31]
    Clark K.L. and Gregory S., "Notes on System Programming in PARLOG", Proc. Int. Conf. on FGC Technology, (1984), pp. 299–306.Google Scholar
  32. [32]
    Clark K., and Taernlund S-A., (eds.), "Logic Programming", Academic Press, London (1982).Google Scholar
  33. [33]
    Clarke T. I. W., et al, "SKIM — The S, K, I Reduction Macchine", Proc. 1980 LISP Conf. Stanford (1980).Google Scholar
  34. [34]
    Clocksin W., and Mellish C., "Programming in PROLOG", Springer-Verlag (1981).Google Scholar
  35. [35]
    Clocksin W.S., "Design and Simulation of a Sequential Prolog Machine", New Generation Computing, vol. 3, no. 1 (1985) pp. 101–119.Google Scholar
  36. [36]
    Cohen J., "Garbage Collection of Linked Data Structures", ACM Computing Surveys, vol. 13, no. 3 (Sept. 1981) pp. 341–367.Google Scholar
  37. [37]
    Dally W.J. and Kajiya J.T., "An Object Oriented Architecture", Proc. Twelth Int. Symp. on Computer Architecture (1985) pp. 154–161.Google Scholar
  38. [38]
    Darlington J. and Reeve M., "ALICE: A multiprocessor reduction machine for the parallel evaluation of applicative languages", Proc. Int. Symp. Functional Programming Languages and Computer Architecture, (June 1981), pp. 32–62.Google Scholar
  39. [39]
    Darlington J., et al, (eds). "Functional Programming and its Applications", Cambridge Univ. Press, (1982).Google Scholar
  40. [40]
    Darlington J. and Reeve M., "ALICE and the Parallel Evaluation of Logic Programs", 10th Int. Symp. on Computer Architecture, (1983).Google Scholar
  41. [41]
    Davis A.L. and Robison S.V., "The Architecture of the FAIM-1 Symbolic Multiprocessing System", Proc. Int. Joint Conf. on Artificial Intelligence (August 1985). pp. 32–38.Google Scholar
  42. [42]
    Deering M.F., "Hardware and Software Architectures for Efficient AI", Proc. Nat. Conf. on Artificial Intelligence AAAI-84, (August 1984) pp. 73–78.Google Scholar
  43. [43]
    Deutsch P. and Bobrow D., "An Efficient Incremental Automatic Garbage Collector", Comm. ACM, vol. 19, no. 9 (1976) pp. 522–526.Google Scholar
  44. [44]
    Fahlman, S., "Design sketch for a million-element NETL machine", Proc. AAA1-80, Stanford, (August 1980) pp. 249–251.Google Scholar
  45. [45]
    Fahlman S.E., et al, "Massively Parallel Architectures for AI: NETL, Thistle and Boltzmann Machines", Proc. Nat. Conf. of AI, AAAI-83 (August 1983) pp. 109–113.Google Scholar
  46. [46]
    Feldman, J.A., "CONNECTIONS", Byte vol. 10, no. 4 (April 1985) pp. 277–284.Google Scholar
  47. [47]
    Feustel E.A., "On the Advantages of Tagged Architecture", IEEE Trans. on Computers, vol. C-22, no. 7 (1973) pp. 644–656.Google Scholar
  48. [48]
    Fisher A.L., et al, "Architecture of the PSC: A Programmable Systolic Chip," Proc. Tenth Int. Symp. on Computer Architecture, (June 1983), pp. 48–53.Google Scholar
  49. [49]
    Flynn M. J., "Some Computer Organisations and their effectiveness", IEEE Trans. Comp. vol. C-21, no. 9 (1972) pp. 948–960.Google Scholar
  50. [50]
    Forgy C.L., "The OPS5 user's Manual", Tech. Report CMU-CS-81-135, Computer Science Department, Carnegie-Mellon University (1981).Google Scholar
  51. [51]
    Forgy C.L., "Rete: A Fast Algorithm for the Many Pattern/Many Object Pattern Match Problem", Artificial Intelligence, vol. 19 (1982) pp. 17–37.Google Scholar
  52. [52]
    Forgy C., et al, "Initial Assessment of Architectures for Production Systems", Proc. Nat. Conf. for Atrificial Intelligence AAAI '84 (1984) pp. 116–120.Google Scholar
  53. [53]
    Friedman D.P. and Wise, D.S., "Aspects of applicative programming for parallel processing", IEEE Trans. Comp. vol. C-27, no. 4 (Apr. 1978), pp. 289–296.Google Scholar
  54. [54]
    Gabriel R.P., "Performance and Evaluation of Lisp Systems", The MIT Press (1985).Google Scholar
  55. [55]
    Giloi, W.K., "STARLET — An Advanced Object Orientated Computer Architecture", Future Generations Computer systems, vol. 1 no. 3 North Holland (February 1985) pp. 169–176.Google Scholar
  56. [56]
    Goldberg A. and Robson D., "SMALLTALK-80: The language and its implementation", Addison-Wesley (1983).Google Scholar
  57. [57]
    Gonzalez-Rubio R., et al, "The SCHUSS Filter: A Processor for Non-Numerical Data Processing", Proc. IEEE 11th Annual Int. Symp. on Computer Architecture, (1984) pp.64–73.Google Scholar
  58. [58]
    Gonzales-Rubio R. and Rohmer J., "From databases to Artificial Inteligence: A Hardware Point of view", AIS, NATO, Les Arcs, France, July 1985.Google Scholar
  59. [59]
    Goto A., et al., "A Highly Parallel Inference Engine: PIE", Proc. of the Logic Programming Conference (ICOT), (1983).Google Scholar
  60. [60]
    Goto A., et al, "Highly Parallel Inference Engine PIE, Goal Rewriting Model and Machine Architecture..", New Generation Computing, vol. 2, no. 1 (1984).Google Scholar
  61. [61]
    Goto E., et al, "FLATS, A Machine for Numerical Symbolic, and Associative Computing", Proc. 6th Annual Symp. Computer Architecture, (April 1979), pp. 102–110.Google Scholar
  62. [62]
    Greenblatt R., et al, "LISP Machine Progress Report, The LISP Machine", MIT, Artificial Intelligence Laboratory, (1979).Google Scholar
  63. [63]
    Gupta A., "Parallelism in Production Systems: The Sources and the Expected Speed-up", Carnegie-Mellon University, Dept. of Computer Science, Tech. Report CMU-CS-84-169 (December 1984).Google Scholar
  64. [64]
    Gurd J., et al, "The Manchester Prototype Data-Flow Computer", Comms, ACM, vol. 28, no. 1, (Jan. 1985), pp. 34–52.Google Scholar
  65. [65]
    Guzman A., "A Parallel Heterarchical Machine for High-Level Language Processing", M. Duff & S Levialdi (eds): Languages and architectures for image processing, Academic Press (1981) pp. 229–244Google Scholar
  66. [66]
    Halstead R.H., "Implementation of Multilisp: Lisp on a Multiprocessor", Proc. ACM Conf. (1984) pp. 9–17.Google Scholar
  67. [67]
    Halstead R.H., "Multi-Lisp: a Language for Concurrent Computation", ACM, Trans. on Prog. Lan. and Sys., Vol. 7, No. 4, (Oct 1985), pp. 501–538.Google Scholar
  68. [68]
    Hankin C.L. et al, "COBWEB — A Combinator Reduction Architecture", Int. Conf. on Functional Programming Proc. (September 1985) pp. 99–112.Google Scholar
  69. [69]
    Haridi S., and Ciepielewski A., "An OR-parallel Token Machine", Logic Programming Workshop '83, Praio da Falesia, Algrave, Portugal, (1983).Google Scholar
  70. [70]
    Hayes-Roth, F., et al, "Building Expert Systems", Addison-Wesley (1983).Google Scholar
  71. [71]
    Hayhashi H., et al, "ALPHA: A High-Performance LISP Machine Equipped with a New Stack Structure and Garbage Collection System", Proc. Tenth Int. Symp. on Computer Architecture (1983). pp. 342–348.Google Scholar
  72. [72]
    Henderson, P., "Functional programming: Application and Implementation", Prentice-Hall International, London (1980).Google Scholar
  73. [73]
    Henderson, P. and Morris J.M., "A lazy evaluator", Proc. 3rd Symp. Principles of Programming Languages, ACM, New York, (1976), pp. 95–103.Google Scholar
  74. [74]
    Hertzberger L.O., "The Architecture of Fifth Generation Inference Computers", Future Generation Computer Systems, vol. 1 no. 1 (July 1984) pp. 9–21Google Scholar
  75. [75]
    Hewitt C.E., "The APLARY Network Architecture for Knowledge Systems", Proc. LISP Conf., Stanford (August 1980). pp. 107–117.Google Scholar
  76. [76]
    Hewitt C. and Lieberman H., "Design Issues in Parallel Architectures for Artificial Intelligence", Proc. of COMPCON 84 (1984) pp. 418–422.Google Scholar
  77. [77]
    Hierata K., et al., "An efficient Processing Method of Structured Data on the Highly Parallel Inference Engine PIE:", EICEJ Technical Group Meeting EC 83-38, Japan, (1983).Google Scholar
  78. [78]
    Higuchi, T., et al., "A Semantic Network Language Machine", in Microcomputers Usage and Design, Waldschimidt, K., et al., (eds), Elsevier Science Publishers, North-Holland, (1985) pp. 95–104.Google Scholar
  79. [79]
    Hillis W.D., "New Computer Architectures and Their Relationship to Physics or Why Computer Science is no good", Int. Journ. of Theoretical Physics, vol. 21, no. 3/4, (1982) pp. 255–262.Google Scholar
  80. [80]
    Hillis W.D., "The Connection Machine: a computer architecture based on cellular automata", Cellular Automata, (ed. Farmer et al) (1984) pp. 213–229.Google Scholar
  81. [81]
    Hillis W.D., The Connection Machine", The MIT Press (1985).Google Scholar
  82. [82]
    Hillyer B.K. and Shaw D.E., "Rapid Execution of AI Production Systems on the NON-VON Supercomputer", Tech. Rep., Dept. of Comp. Sc., Columbia Univ., New York, (Nov. 1983).Google Scholar
  83. [83]
    Hillyer B.K. and Shaw D.E., "Execution of Production Systems on a Massively Parallel Machine", Submitted to Journal of Parallel and Distributed Computing, (Oct. 1984)Google Scholar
  84. [84]
    Hinton G.F., et al, "Boltzmann Machines: Constraint Satisfaction Networks that Learn", Tech. Report CMU-CS-84-119, Carnegie-Mellon University (May 1984).Google Scholar
  85. [85]
    Hockney R.W., "MIMD computing in the USA — 1984", Parallel Computing, vol. 2 (1985) pp.119–136.Google Scholar
  86. [86]
    Holloway J., et al, "SCHEME-79 — LISP on Chip," IEEE COMPUTER, vol. 14, no. 7, (July 1981), pp. 10–21.Google Scholar
  87. [87]
    Hommes F. and Schlutter, H., "Reduction machine system User's guide", Tech. Rep. ISF-Rep. 79, Gesellschaft fur Mathematik und Datenverarbeitung MBH Bonn, (December 1979).Google Scholar
  88. [88]
    Hughes R.J.M., "Supercombinators: A New Implementation method for Applicative Languages", Proc. 1982 ACM Symp. on LISP and Functional programming, (August 1982).Google Scholar
  89. [89]
    Ida T., "Towards a Parallel Reduction Architecture", Proc. 2nd Int. Symp. on Symbolic and Algebraic Computation by Computers at RIKEN Aug. 21–22, 1984, pp. 8–10.Google Scholar
  90. [90]
    INMOS Ltd., "OCCAM Programming Manual", Prentice-Hall Internation (1984).Google Scholar
  91. [91]
    Ishida T. and Stolfo S.J., "Simultaneous Firing of Production Rules on Tree-structured Machines", Tech. Rep., Dept. of Comp. Sc., Columbia Univ., New York, (1984).Google Scholar
  92. [92]
    Ishikawa Y. and Tokoro M., "The Design of an Object Oriented Architecture", IEEE 1984 Proc. of the 11th Annual Int. Symp. on Computer Architecture (1984) pp. 178–187.Google Scholar
  93. [93]
    Ito N. and Masuda Y., "Parallel Inference Machine Based on the Data Flow Model", Tech. Rep. TR-033, ICOT (1983).Google Scholar
  94. [94]
    Ito N., et al, "Parallel Prolog Machine Based on Data Flow Mechanism", Proc. of the Logic Programming Conference (ICOT), (1983).Google Scholar
  95. [95]
    Karia R., "Reduction on a Wafer", Proc. Workshop on Wafer Scale Integration, Southampton University, England (July 1985).Google Scholar
  96. [96]
    Kasif S., et al, "Logic Programming on ZMOB: A Highly Parallel Machine", IEEE (1982).Google Scholar
  97. [97]
    Keller R.M., et al. "A loosely coupled applicative multiprocessing system", Proc. Nat. Computer Conf., AFIPS Press, (1978), pp. 861–870.Google Scholar
  98. [98]
    Keller R.M. and Lindstrom, G., "An architecture for a loosely coupled parallel processor", Tech. Rep. UUCS-78-10, Dep. Computer Science, Univ. of Utah, (Oct 1978).Google Scholar
  99. [99]
    Keller R.M., et al, "REDIFLOW Multiprocessing", Proc. IEEE COMPCON Spring 84 (1984) pp. 410–417.Google Scholar
  100. [100]
    Kluge W.E., "The architecture of a reduction language machine hardware model", Tech. Rep. ISF-Rep. 79.03, Gesellschaft fur Mathematik und Datenverarbeitung MBH Bonn, (Aug. 1979).Google Scholar
  101. [101]
    Kluge W.E. and Schlutter H., "An architecture for the direct execution of reduction languages", in Proc. Int. Workshop High-Level Languages Computer Architecture (May 1980), pp. 174–180.Google Scholar
  102. [102]
    Kluge W.E., "Cooperating Reduction Machines", IEEE Trans. on Computers vol. C-32, no. 11, (November 1983), pp. 1002Google Scholar
  103. [103]
    Kowalski R., "Logic for Problem Solving", North-Holland (1979).Google Scholar
  104. [104]
    Kung H.T., "Why Systolic Arrays," IEEE COMPUTER, vol. 15, no. 1, (January 1982), pp. 37–46.Google Scholar
  105. [105]
    Landin P.J., "The mechanical evaluation of expressions", Comput. vol. J.6 (Jan. 1964), pp. 308–320.Google Scholar
  106. [106]
    Laurent J-P., "AI Research in France", The AI Magazine, vol. 6, no. 1 (Spring 1985) pp. 22–30.Google Scholar
  107. [107]
    LISP Machines Inc., "Overview of the LMI Series LISP Machines"Google Scholar
  108. [108]
    Maekawa H., et al "Fast LISP Machine and List-Evaluation Processor EVAL II.. Processor Architecture and Hardware Configuration", IPSJ Trans., vol. 24, No. 5, (1983) (In Japanese).Google Scholar
  109. [109]
    Mago G.A., "A Network of Microprocessors to Execute Reductions Languages", International Journal of Computation and Information Sciences, vol. 8, No. 5, (1979), pp.. 349–385, vol. 8, No. 6, (1979), pp. 435–471.Google Scholar
  110. [110]
    Mago G.A., "A cellular computer architecture for functional programming", Proc. IEEE COMPCON 80, New York,(Feb. 1980), pp. 179–187.Google Scholar
  111. [111]
    Mago G.A., "A cellular, language directed computer architecture", Proc. Conf. Very Large Scale Integration (Jan. 1979), pp. 447–452.Google Scholar
  112. [112]
    Mago G.A., et al, "Program execution on a cellular computer: Some matrix algorithms", Tech. Rep., Dep. Computer Science, Univ. of North Carolina, Chapel Hill, (May 1981).Google Scholar
  113. [113]
    Mairyama T., et al., "A Highly Parallel Inference Engine PIE", Proc. of Electronic Computer Society of IECE of Japan, EC 83–39, Japan, (1983) (Japanese)Google Scholar
  114. [114]
    Manual T., "Lisp and Prolog machines are proliferating", ELECTRONICS, vol. 56, no. 22 (November 1983) pp. 132–137.Google Scholar
  115. [115]
    Marti J. and Fitch J., "The Bath Concurrent LISP Machine". EUROCAM '83, Springer-Verlag, Lecture Notes in Computer Science. (1983).Google Scholar
  116. [116]
    Minsky M., and Papert, in "Perceptrons", M.I.T. press, (1969)Google Scholar
  117. [117]
    Moldovan D.I. and Tung Y-W., "SNAP: A VLSI Architecture for Artificial Intelligence", Journ. of Parallel and Distributed Computing, vol. 2, no. 2 (1985) pp. 109–131.Google Scholar
  118. [118]
    Moldovan D.I., et al, "Parallel Processing of Iconic to Symbolic Transformation of Images", Proc. IEEE Conf. on Computer Vision and Pattern Recognition, (June 1985) pp. 257–264.Google Scholar
  119. [119]
    Moon D.A. and Weinreb, D., "Lisp Machine Manual", MIT, (January 1979).Google Scholar
  120. [120]
    Moon D.A., "Garbage Collection in a Large Lisp System", Conf. Record of 1984 Symp. on Lisp and Functional Programming, (August 1984) pp. 235–246.Google Scholar
  121. [121]
    Moon D., "Architecture of the Symbolics 3600", Proc. Twelth. Int. Symp. on Computer Architecture, (1985) pp. 76–83.Google Scholar
  122. [122]
    Moto-oka T. and Fuchi K., "The Architectures in the Fifth Generation Computer", Information Processing, Rea Mason (Ed.), IFIP, (1983)Google Scholar
  123. [123]
    Moto-oka T., et al, "The Architecture of a Parallel Inference Engine PIE.", Proc. Int. Con. on Fifth Generation Computer Systems, Tokyo, (November 1984), pp. 479–488.Google Scholar
  124. [124]
    Moto-oka T., "Overview to the fifth generation computer system project", Proc. Tenth Int. Symp. on Computer Architecture (June 1983). pp. 417–422.Google Scholar
  125. [125]
    Murakami K., et al, "Architectures and Hardware Systems: Parallel Inference Machine and Knowledge Base Machine", Proc. Int. Conf. on Fifth Generation Computer Systems, Tokyo, (November 1984), pp. 18–36.Google Scholar
  126. [126]
    Murakami K. et al, "Research on Parallel Machine Architewctures for Fifth Generation Computer Systems", IEEE COMPUTER, vol. 18, no. 6 (June 1985).Google Scholar
  127. [127]
    Myer G., "Advances in Computer Architecture", Wiley Interscience (1978).Google Scholar
  128. [128]
    Nagao M., et al, "The NK3 LISP Machine and Its Performance Evaluation", Tech. Memo, WGSYM of IPSJ, vol. 7–4, (1979), (in Japanese).Google Scholar
  129. [129]
    Nagao M., et al, "LISP machine NK3 and measurement of its performance", Proc. 6th IHCAI-79, Tokyo, (August 1979), pp. 625–627.Google Scholar
  130. [130]
    Nakazaki R., et al, "Design of a High-Speed Prolog Machine (HPM)", Proc. IEEE 12th Int. Symp. on Computer Architecture (June 1985).Google Scholar
  131. [131]
    O'Keefe R., "PROLOG compared with LISP", SIGPLAN Notices vol. 18, no. 5 (May 1983).Google Scholar
  132. [132]
    Odijk E.A.M., "The Philips Object-Oriented Parallel Computer", Proc. Fifth Generation Computer Architecture (IFIP TC-10, ed. Woods), North Holland (1985).Google Scholar
  133. [133]
    Ohbuchi R., "Overview of Parallel Processing Research in Japan", IBM Japan Science Institute, JSI Research Report TR87-0003, (January 1985).Google Scholar
  134. [134]
    Onai R., et al, "An Approach to a Parallel Inference Machine Based on Control-Driven and Data-Driven Mechanisms", Tech. Rep. TR-042, ICOT, (January 1984).Google Scholar
  135. [135]
    Onai R., et al, "Analysis of Sequential PROLOG Programs", Tech. Rep. TR-048, ICOT, (1984).Google Scholar
  136. [136]
    Onai R., et al, "Parallel Inference Machine based on Reduction Mechanism — Its architecture and Software Simulation", Tech. Rep. TR-077, ICOT, (1984).Google Scholar
  137. [137]
    Onai R., et al, "Architecture of a Reduction Based Parallel Inference Machine: PIM-R", New Generation Computing, vol 3, No. 2, (1985).Google Scholar
  138. [138]
    Patterson D., and Sequin C., "A VLSI RISC," IEEE COMPUTER, vol. 15, no. 9, (September 1982), pp. 8–21.Google Scholar
  139. [139]
    Patterson D.A., "Reduced Instruction Set Computers," Comm. ACM, vol. 28, no. 1, (January 1985), pp. 8–21.Google Scholar
  140. [140]
    Peyton-Jones S. et al, "GRIP — a Parallel Graph Reduction Machine", University College London, Dept. of Computer Science, Technical Report 1665 (November 1985).Google Scholar
  141. [141]
    Quillian M. R. "Semantic Memory", PhD desertation, Camegie Mellon, (Octomber 1966). (Appeared as report AFCRL-66-189).Google Scholar
  142. [142]
    Richards H., "An Overview of the Burroughs NORMA", Intemal Report Burroughs Corp., Austin Research Centre (January 1985).Google Scholar
  143. [143]
    Rieger C., et al, "ZMOB: A new computing engine for AI", Proc. 7th IJCAI-81, Vancouver, (August 1981), pp. 955–960.Google Scholar
  144. [144]
    Rousell P., "PROLOG Mannel de reference et d'utilisation", Groupe d'Intelligence Artificielle, Marseille — Luming (1975)Google Scholar
  145. [145]
    Sansonnet J-P., et al., "M3L — a list-directed architecture", Proc. Int. Symp. Computer Architecture (May 1980) pp. 105–112.Google Scholar
  146. [146]
    Sansonnet J-P., et al, "Direct executon of LISP on a list-directed architecture", Proc. Symp. Architectural Support Programming Languages and Operating Systems, (March 1982) pp. 132–139.Google Scholar
  147. [147]
    Sansonnet J.P., "La Machine Lisp M3L", T.S.I — Technique et Science Informatique, vol. 3, no. 6, (June 1984) pp. 397–409.Google Scholar
  148. [148]
    Sansonnet J-P., et al, "A Real Time Oriented Machine for AI Aplications", Proc. IEEE Conf. on Computer Workstations, (November 1985).Google Scholar
  149. [149]
    Satyanarayanan M., in "Multi-processors: a comparative study" Englewood Clifs, NJ, Prentice-Hall, (1980).Google Scholar
  150. [150]
    Schonfinkel M., "Uber die bausteine der mathematischen logik", Math. Ann., vol. 92, (1924), p. 305.Google Scholar
  151. [151]
    Seitz C.L., "Concurrent VLSI Architectures", IEEE Trans. on Computers, vol. C-33, no. 12 (December 1984) pp. 1247–1265.Google Scholar
  152. [152]
    Seitz C.L., "The Cosmic Cube", Comm. ACM, vol. 28, no. 1 (Jan. 1985) pp. 22–33.Google Scholar
  153. [153]
    Shapiro E.Y., "Lecture notes on the Bagel: a Systolic Concurrent PROLOG Machine", Tech. Rep. TR-035, ICOT, Tokyo, (1983).Google Scholar
  154. [154]
    Shapiro E.Y., "Systolic Programming: A Paradigm of Parallel Processing", Proc. of Int. Conf. on Fifth Gen. Comp. Systems 84, Ohmsha, Tokyo, (Nov. 1984), pp. 45–470. Also Tech. Rep. TR CS84-21, Weizmann Institute, (August 1984).Google Scholar
  155. [155]
    Shapiro E.Y., "A Subset of Concurrent Prolog and its Interpreter", Tech. Rep. of ICOT, TR-003 (February 1983).Google Scholar
  156. [156]
    Shaw D.E., "Knowledge-based retrieval on a relational database machine", PhD Thesis. Stanford Computer Science Department, Report STAN-CS-80-823. (August 1980).Google Scholar
  157. [157]
    Shaw D.E., "Non-Von: A Parallel Machine Architecture for Knowledge Based Information Processing", Proc. 7th Int. Joint Conf. on Artificial Intelligence, (IJCAI-81), (August 1981), pp. 961–963Google Scholar
  158. [158]
    Shaw D.E., "The NON-VON Supercomputer", Tech. Rep. Dept. of Comp. Sc., Columbia Univ., New York, (August 1982).Google Scholar
  159. [159]
    Shaw D.E., "On the Range of Applicability of an Artificial Intelligence Machine", Artificial Intelligence Journal (accepted for publication).Google Scholar
  160. [160]
    Shibayama S., et al "Relational Database Machine with Large Semiconductor Disk and Hardware Relational Algebra Processor", New Generation Computing, vol. 2, No. 2 (1984).Google Scholar
  161. [161]
    Shibayama, K., et al "A Prolog Machine Based on Parallel Reduction Model", Proc. 28'th IPSJ Conf. (1984) (In Japanese).Google Scholar
  162. [162]
    Shimada, T., et al "A LISP Machine and Its Evaluation", Tech. Memo, WGARC of IPSJ, No, 74–7, (1974) (in Japanese).Google Scholar
  163. [163]
    Sleep M.R., "Applicative languages, dataflow and pure combinatory code", Proc. IEEE COMPCON 80 (Feb. 1980), IEEE, New York, pp. 112–115.Google Scholar
  164. [164]
    Sohma Y., et al "A New Parallel Inference Mechanism Based on Sequential Processing", Proc IFIP TC-10 Work. Conf. on Fifth Gen. Comp. Arch., UMIST Manchester, (July 1985).Google Scholar
  165. [165]
    Steele G. and Sussman G., "Design of a LISP-based microprocessor" Com. ACM, vol. 23, no. 11, (November 1980), pp. 628–645.Google Scholar
  166. [166]
    Stefi K M., et al, "Knowledge Programming in LOOPS", The AI Magazine, vol IV, no. 3, (Fall 1983), pp. 3–14.Google Scholar
  167. [167]
    Stolfo S.J. and Shaw D.E., "Specialized Hardware for Production Systems", Tech. Rep., Dept. of Comp. Sc., Columbia Univ., New York, (August 1981).Google Scholar
  168. [168]
    Stolfo S.J. and Shaw D.E., "DADO: A Tree-Structured Machine Architecture for Production Systems", Proc. Nat. Conf. on AI AAAI-82 (1982) pp. 242–246.Google Scholar
  169. [169]
    Stolfo S.J., et al, "Architecture and Applications of DADO; A Large-Scale Parallel Computer for Artificial Intelligence", Proc. 8th Int. Joint Conf. on Artificial Intelligence, (August 1983), pp. 850–854.Google Scholar
  170. [170]
    Stolfo S.J. and Miranker D.P., "DADO: A Parallel Processor for Expert Systems", Proc. of the 1984 Int. Conf. on Parallel Processing, (1984).Google Scholar
  171. [171]
    Stolfo S.J., "Five Parallel Algoriths for Production Systems Execution on The DADO machine", Proc. AAAI-84, (1984) pp. 300–307.Google Scholar
  172. [172]
    Stolfo S.J., "The DADO Parallel Computer" Tech. Rep., Dept. of Comp. Sc., Columbia Univ., New York, (1983).Google Scholar
  173. [173]
    Stoye W.R. et al, "Some Practical Methods for Rapid Combinator Reduction", Conf. Record 1984 ACM Symp. on LISP and Functional Programming (August 1984).Google Scholar
  174. [174]
    Sugimoto S., et al, "Concurrent LISP on a Multi-Micro-Processor System", Proc. 7th Int. Joint Conf. on Artificial Intelligence (IJACI-81), Canada, (August 1981), pp. 949–954.Google Scholar
  175. [175]
    Sussman, G.J., et al, "Scheme-79 — Lisp on a Chip", IEEE COMPUTER, vol. 14, no. 7 (July 1981) pp. 10–21.Google Scholar
  176. [176]
    Suzuki N. et al, "SWORD2: A Bytecode Emulating Microprocessor for Object-Oriented Languages", Proc. Int. Symp. on Fifth Generation Computer Systems 1984, (1984) pp. 389–396.Google Scholar
  177. [177]
    Symbolics Inc., "Reference Guide to Symbolics-Lisp", (1985).Google Scholar
  178. [178]
    Takeuchi I., et al, "TAO — A harmonic mean of LISP, PROLOG and SMALLTALK", ACM SIGPLAN Notices, vol. 18, no. 7 (July 1983).Google Scholar
  179. [179]
    Taki K., et al, "Hardware Design and Implementation of the Personal Sequential Inference Machine (PSI)", Proc. Int. Conf. FGCS '84 (1984) pp.Google Scholar
  180. [180]
    Tamura N. and Kaneda Y., "Implementing Parallel Prolog on a Multiprocessor Machine", Proc. 1984 Int. Symp. on Logic Programming, (February 1984).Google Scholar
  181. [181]
    Taylor R. and Wilson, P., "OCCAM Process-oriented language meets demands of distributed processing", ELECTRONICS (November 1982) pp. 89–95.Google Scholar
  182. [182]
    Tick E. and Warren D.H.D., "Towards a Pipelined Prolog-Processor", Proc. 1984 Int. Sym. on Logic Programming, (February 1984).Google Scholar
  183. [183]
    Toffoli T., "CAM: A High-Performance Cellular-Automaton Machine", Physica, vol. 10 (1984) pp. 195–204.Google Scholar
  184. [184]
    Tokoro M., et al, "An Object-Oriented Approach to Knowledge Systems", Proc. Int. Conf. on Fifth Generation Computer Systems, (1984).Google Scholar
  185. [185]
    Tokoro M. and Ishikawa Y., "Orient84/K: A Language with Multiple Paradigms in the Object Framework", Proc. Nineteenth Annual Hawaii Int. Conf. on System Science (1986).Google Scholar
  186. [186]
    Treleaven P.C. and Mole G.P., "A multi-processor reduction machine for user-defined reduction languages", Proc. 7th Int. Symp. on Computer Architecture (May 6–8), IEEE (1980), pp. 121–130.Google Scholar
  187. [187]
    Treleaven P.C. et al, "Data Driven and Demand Driven Computer Architecture", ACM Computing Surveys, vol. 14, no. 1 (March 1982) pp. 93–143.Google Scholar
  188. [188]
    Treleaven P.C. and Gouveia Lima I., "Future Computers: logic, data flow,..., control flow?", IEEE COMPUTER, vol. 17, no. 3 (March 1984) pp. 47–58.Google Scholar
  189. [189]
    Treleaven P.C. and Gouveia Lima I., "Japan's Fifth Generation Computer Systems", IEEE COMPUTER, vol. 15, no. 8 (August 1982) pp. 79–88.Google Scholar
  190. [190]
    Treleaven P.C., "VLSI processor architectures", IEEE COMPUTER, vol. 15, no. 6 (June 1982), pp. 33–45.Google Scholar
  191. [191]
    Turner D.A., "Another algorithm for bracket abstraction", Journal Symbol. Logic, vol.44, no.2, (June 1979), pp. 267–270.Google Scholar
  192. [192]
    Turner D.A., "A new implementation technique for applicative languages", Soft. Pract. Exper., vol. 9, no. 1, (Sep. 1979), pp. 31–49.Google Scholar
  193. [193]
    Turner D.A., "Miranda: a non-strict functional language with polymorphic types", in Springer Lecture Notes in Computer Science, vol 201.Google Scholar
  194. [194]
    Uchida S. et al, "Outline of a Personal Sequential Inference Machine: PSI", New Generation Computing, vol. 1, no. 1, (1983).Google Scholar
  195. [195]
    Uchida S., "Inference Machine: From Sequential to Parallel", Proc. of the 10th Annual International Symposium on Computer Architecture, Sweden, (June 1983)Google Scholar
  196. [196]
    Ueda K., "Guarded Horn Clauses", ICOT Technical Report TR-103 (June 1985).Google Scholar
  197. [197]
    Unger D. et al, "Architecture of SOAR: Smallltalk on a RISC", IEEE Trans. on Computers, vol. C-?, no.? (1984) pp. ?.Google Scholar
  198. [198]
    Usuki T. et al, "LISP Machine Implementation on a Multi-Microprocessor System", Tech. Memo, WGARC of IPSJ, vol. 33–4, (1979), (in Japanese).Google Scholar
  199. [199]
    Vegdahl S.R., "A Survey of Proposed Architectures for Execution of Functional Languages", IEEE Trans. Computers, vol. C-33, no. 12 (Dec. 1984) pp. 1050–1071.Google Scholar
  200. [200]
    Warren D.H.D., et al, "PROLOG — the language and its implementation compared with LISP", Proc. Symp. on AI and Programming Languages, SIGPLAN Notices, vol. 12, no. 8 (1977) pp. 109–115.Google Scholar
  201. [201]
    Warren D.H.D.: "IMPLEMENTING PROLOG — compiling predicate logic programs", Dept. of Artificial Intelligence, Univ. of Edinburgh, Research Report No. 39, (May 1977).Google Scholar
  202. [202]
    Warren D.H.D., "Logic Programming and Compiler Writing", Dept. of Artificial Intelligence, Univ. of Edinburgh, Research Report No. 44 (September 1977).Google Scholar
  203. [203]
    Warren D.H.D.: An Abstract Prolog Instruction Set, SRI Technical Note 309, October 1983.Google Scholar
  204. [204]
    Wholey S., and Fahlman S.E., "The Design of an Instruction Set for Common Lisp", Proc. ACM Conf. on LISP and Functional Programming (1984) pp. 150–157.Google Scholar
  205. [205]
    Williams R., "A multiprocessing system for the direct execution of LISP", Fourth workshop on computer architecture for non-numeric processing, (August 1978), SIGIR 13(2) SIGARCH 7(2), SIGMOD 19(1), pp. 35–41.Google Scholar
  206. [206]
    Wilner W.T., "Recursive Machines", Xerox Palo Alto Research Center, Internal Report (1980).Google Scholar
  207. [207]
    Winston P., and Horn B., "LISP", Addison-Wesley, Reading 1981.Google Scholar
  208. [208]
    Wu C-l. (ed.), "Special Issue Multiprocessing Technology", IEEE COMPUTER, vol. 18, no. 6 (June 1985).Google Scholar
  209. [209]
    Yamaguchi Y., et al, "A LISP Machine on the ACE System" EC Monograph, IECE of Japan, vol. J61-D, no. 8, (1978), pp. 517–524 (in Japanese).Google Scholar
  210. [210]
    Yamaguchi Y., et al, "A Performance evaluation of a LISP-based Data-Driven Machine (EM-3)", Proc. Tenth Int. Symp. on Computer Architecture (1983) pp. 163–169.Google Scholar
  211. [211]
    Yamamoto M., "A Survey of High-Level Language Machines in Japan", IEEE COMPUTER, vol. 14, no 7, (July 1981) pp. 68–78.Google Scholar
  212. [212]
    Yasuhara H., et al "ORBIT: A Parallel Computing Model of Prolog", New Generation Computing, vol. 2, no. 2 (1984).Google Scholar
  213. [213]
    Yasui T., et al, "Dynamic Behaviour of Parallel Processing with LISP Programs and System Configuration of the EVLIS Machine", Tech. Memo, WGSYM of IPSJ, vol. 10–4, (1979), (in Japanese).Google Scholar
  214. [214]
    Yokota M., et al, "The Design and Implementation of a Personal Sequential Inference Machine: PSI", New Generation Computing, vol. 1, no. 2 (1983).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Philip C. Treleaven
    • 1
  • Apostolos N. Refenes
    • 1
  • Kenneth J. Lees
    • 2
  • Stephen C. McCabe
    • 3
  1. 1.University College LondonUK
  2. 2.Ferranti Computer SystemsBracknell
  3. 3.THORN-EMI Central Research Labs.Hayes

Personalised recommendations