Parallel inference machines

  • W. Bibel
  • F. Kurfeß
  • K. Aspetsberger
  • P. Hintenaus
  • J. Schumann
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 272)


This paper gives a description of parallel approaches to logic programming. It offers proposals for making use of parallelism within the whole proof process including unification. By using dags (directed acyclic graphs) as a way of representing formulas, the inherent parallelism is analyzed in a much more detailed way than the one provided by AND-/OR-parallelism. From this analysis an architecture for a parallel proof machine is derived that includes essential features from the new L-machine. Under this view other parallel systems for logic programming are outlined.


logic programming inference deduction connection method unification dag parallelism architectures L-machine 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [AHU]
    AHO, A. V., HOPCROFT, J. E., and ULLMAN, J. D.; Design and Analysis of Computer Algorithms; Addison-Wesley, Reading, Massachusetts (1974)Google Scholar
  2. [ACD]
    ANDERSON, J., COATES, W.S., DAVIS, A.L., HON, R.W., ROBINSON, I.R., ROBINSON, S.V., and STEVENS, K.S.; The Architecture of FAIM-1; Computer 20, 55–67 (1987)Google Scholar
  3. [AsO]
    ASO, M. and ONAI, R.; XP's: An Extended OR-Parallel Prolog System; Techn. Rep. TR 023, ICOT, Tokyo (1983)Google Scholar
  4. [AsK]
    ASPETSBERGER, K. and KURFESS, F.; Report on the analysis of several possible parallel multi-processor machine architectures; ATP 57, Forschungsgruppe Kuenstliche Intelligenz, Techn. Universitaet, Muenchen (1986)Google Scholar
  5. [Bac]
    BACHINGER, J.; Implementierung eines parallelen Theorembewisers und Simulation der Ausfuehrung auf einer Mehrprozessormaschine; Institut fuer Informatik, Techn. Universitaet, Muenchen (1987)Google Scholar
  6. [Bi1]
    BIBEL, W.; Automated Theorem Proving; Vieweg, Braunschweig, Wiesbaden (1982)Google Scholar
  7. [Bi2]
    BIBEL, W.; On Matrices with Connections; J.ACM 28, 633–645 (1980)Google Scholar
  8. [Bi3]
    BIBEL, W.; Matings in Matrices; Comm. of the ACM 26, 844–852 (1983)Google Scholar
  9. [BiA]
    W. BIBEL and K. ASPETSBERGER; A Bibliography on Parallel Inference Machines; Symbolic Computation 1, 115–118 (1985)Google Scholar
  10. [BiB]
    BIBEL, W. and BUCHBERGER, B.; Towards a Connection Machine for Logic Inference; Future Generations Computer Systems 3, 177–188 (1984)Google Scholar
  11. [BiJ]
    BIBEL, W. and JORRAND, P. (eds.); Fundamentals of Artificial Intelligence; LNCS 232, Springer, Berlin (1986)Google Scholar
  12. [BLS]
    BIBEL, W., LETZ, R., and SCHUMANN, J.; Bottom-up enhancements of deductive systems; ATP 67, Forschungsgruppe Kuenstliche Intelligenz, Techn. Universitaet, Muenchen (1986, submitted to IJCAI '87)Google Scholar
  13. [Bu1]
    BUCHBERGER, B.; Computer Trees and their Programming; 4th Coll. Trees in Algebra and Programming, Lille, 1–18 (78)Google Scholar
  14. [Bu2]
    BUCHBERGER, B.; Components for Restructurable Multi-Microprocessor Systems of Arbitrary Topology; MIMI 83, Lugano, 67–71 (1983)Google Scholar
  15. [Bu3]
    BUCHBERGER, B.; The Present State of the L-Network Project; MIMI 84, Bari, 178–181 (1984)Google Scholar
  16. [Bu4]
    BUCHBERGER, B.; The L-Machine: An Attempt at Parallel Hardware for Symbolic Computation.; Proc. AAECC-3, LNCS 229, Springer, Berlin (1985)Google Scholar
  17. [BAF]
    BUCHBERGER, B., ASPETSBERGER, K., FUNK, G., HINTENAUS, P., KASS, P., KUSCHE, K., and, F. LICHTENBERGER; The New L-Machine: A Parallel Machine for Symbolic and Numerical Computation; RISC, University of Linz, Austria (1986)Google Scholar
  18. [CiH]
    CIEPIELEWSKI, A. and HARIDI, S.; Execution of Bagof on the OR-parallel Token Machine; Proc. of the Int. Conf. on Fifth Generation Comp. Systems, 551–562 (1984)Google Scholar
  19. [ClG]
    CLARK, K. and GREGORY, St.; Parlog: Parallel Programming in Logic; Dep. of Computing, Imperial College of Sc. and Technology, London (1986)Google Scholar
  20. [Clo]
    CLOCKSIN, W.; Design and Implementation of a Sequential PROLOG Machine; New Generation Computing 3/1, 101–119 (1985)Google Scholar
  21. [ClM]
    CLOCKSIN, W. and MELLISH, C.; Programming in PROLOG; Springer-Verlag, Berlin (1981)Google Scholar
  22. [Con]
    CONERY, J. S.; The AND/OR Process Model for Parallel Execution of Logic Programs; Univ. of California, Irvine (1983)Google Scholar
  23. [DaR]
    DARLINGTON, J. and REEVE, M.; ALICE and the Parallel Evaluation of Logic Programs; The 10th Annual Int. Symp. on Comp. Architecture, Stockholm (1983)Google Scholar
  24. [deG]
    de GROOT, D.; Restricted AND-Parallelism; Proc. of the Int. Conf. on Fifth Generation Computer Systems, 471–478 (1984)Google Scholar
  25. [Den]
    DENNING, P.J.; Parallel Computing and Its Evolution; Comm. ACM 29, 1163–1169 (1986)Google Scholar
  26. [DLW]
    DIEL, H., LENZ, N., and WELSCH, H. M.; System Structure for Parallel Logic Programming; FGCS 2, 225–231 (1986)Google Scholar
  27. [DiJ]
    DILGER, W. and JANSON, A.; Intelligent Backtracking in Deduction Systems by Means of Extended Unification Graphs; Journal of Automated Reasoning 2, 43–62 (1986)Google Scholar
  28. [DKS]
    DWORK, C., KANELLAKIS, P., and STOCKMEYER, L.; Parallel Algorithms for Term Matching; Proc. CADE 8, Oxford, 416–430 (1986)Google Scholar
  29. [FaH]
    FAHLMAN, S.E. and HINTON, G.E.; Connectionist Architectures for Artificial Intelligence; Computer 20, 100–118 (1987)Google Scholar
  30. [Geo]
    GEORGESCU, Ioan; An Inference Processor based on reactive memory; Inst. for Comp. and Inform., Dep. of Robotics and Artificial Intelligence, Bucharest (1986)Google Scholar
  31. [Gil]
    GILOI, W. K.; Advanced Object Oriented Architectures; Future Generation Computer Systems 1/3, 169–175 (1985)Google Scholar
  32. [GTM]
    GOTO, A., TANAKA, H., and MOTO-OKA, T.; Highly Parallel Inference Engine: PIE. Goal Rewriting Model and Machine Architecture; New Generation Computing 1, (1984)Google Scholar
  33. [GTM]
    GOTO, A., TANAKA, H., and MOTO-OKA, T.; Highly Parallel Inference Engine: PIE. Goal Rewriting Model and Machine Architecture; New Generation Computing 2, 37–85 (1984)Google Scholar
  34. [GoU]
    GOTO, A. and UCHIDA, S.; Current Research Status of PIM: Parallel Inference Machine; Proceedings of the Third Japanese-Swedish Workshop, (1985)Google Scholar
  35. [GFN]
    GUPTA, A., FORGY, C., NEWELL, A., and WEDIG, R.; Parallel Algorithms and Architectures for Rule-Based Systems; Carnegie-Mellon University, Pittsburgh, Pennsylvania (1986)Google Scholar
  36. [HLS]
    HAYNES, L.S., LAU, R.L., SIEWIOREK, D.P., and MIZELL, D.W.; A Survey of Highly Parallel Computing; Computer 1, 9–24 (1982)Google Scholar
  37. [Her]
    HERMENEGILDO, M.V.; An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs; Third Int. Conf. on Logic Programming '86, 25–39 (1986)Google Scholar
  38. [Hen]
    HERMENEGILDO, M.V. and NASR, R.I.; Efficient Management of Backtracking in AND-Parallelism; Third Int. Conf. on Logic Programming '86, 40–54 (1986)Google Scholar
  39. [Hil]
    HILLIS, D. W.; The Connection Machine; MIT Press, Cambridge, Massachusetts USA (1985)Google Scholar
  40. [HiS]
    HILLIS, W.D. and STEELE, G.L.; Data Parallel Algorithms; Comm. ACM 29, 1170–1183 (1986)Google Scholar
  41. [HSA]
    HINTON, G. P., SEJNOWSKI, T. J., and ACKLEY, D. H.; Boltzmann Machines: Constraint Satisfaction Networks that Learn; Carnegie Mellon University, Department of Computer Science, Pittsburgh, Pennsylvania (1984)Google Scholar
  42. [GHC]
    GHOSH, K. HWANG, J. R. CHOKWANYUN; Computer Architectures for Artificial Intelligence Processing; Computer 20, 19–30 (1987)Google Scholar
  43. [Inm]
    INMOS; Occam Programming Manual; Prentice/Hall, New Jersey (1984)Google Scholar
  44. [IOM]
    ITO, N., ONAI, R., MASUDA, K., and SHIMIZU, H.; Parallel Prolog Machine Based on Data Flow Mechanism; Proc. of the Logic Programming Conference, ICOT, Tokyo (1983)Google Scholar
  45. [Jo1]
    JORRAND, P.; Term Rewriting as a Basis for the Design of a Functional and Parallel Programming Language. A case study: the Language FP2; in: [BiJ], 221–276 (1986)Google Scholar
  46. [Jo2]
    JORRAND, P.; Design and Implementation of a Parallel Inference Machine for First Order Logic: An Overview; LIFIA, University of Grenoble, (to appear in Proc. PARLE '86)Google Scholar
  47. [Kas]
    KASIF, S.; On the Parallel Complexity of Some Constraint Satisfaction Problems; AAAI '86, 349–353 (1986)Google Scholar
  48. [KKM]
    KASIF, S., KOHLI, M., and MINKER, J.; PRISM: A Parallel Inference System for Problem Solving; Proceedings of the Logic Programming Workshop '83, 123–152 (1983)Google Scholar
  49. [KRS]
    KASIF, S., REIF, J. H., and SHERLEKAR, D. D.; Formula Dissection: A Parallel Algorithm for Constraint Satisfaction; submitted to IJCAI '87, Milano (1987)Google Scholar
  50. [Kow]
    KOWALSKI, R.; Logic for Problem Solving; North-Holland, New York (1979)Google Scholar
  51. [Kun]
    KUNG, C.-H.; High Parallelism and a Proof Procedure; Decision Support Systems 1, 323–331 (1985)Google Scholar
  52. [Kur]
    KURSAWE, P.; How to Invent a Prolog Machine; Third Int. Conf. on Logic Programming '86, 135–148 (1986)Google Scholar
  53. [LMS]
    LERNER, M.D., MAGUIRE, G.Q., and STOLFO, S.J.; An overview of the DADO parallel computer; National Computer Conference, 298–306 (1985)Google Scholar
  54. [LiW]
    LI, G. and WAH, B.W.; MANIP-2: A Multicomputer Architecture for Evaluating Logic Programs; Intern. Conf. on Parallel Processing, 123–130 (1985)Google Scholar
  55. [NKH]
    NAKAZAKI, R., KONAGAYA, A., HABATA, S., SHIMAZU, H., UMEMURA, M., YAMAMOTO, M., YOKOTA, M., and CHIKAYAMA, T.; Design of a High-Speed Prolog Machine; 12th Ann. Int. Symp. on Comp. Arch., 191–197 (1985)Google Scholar
  56. [OAT]
    ONAI, R., ASOU, M., and TAKEUCHI, A.; An Approach to a Parallel Inference Machine Based on Control-Driven and Data-Driven Mechanisms; Tech. Rep. TR-042, ICOT, Tokyo (1984)Google Scholar
  57. [PaW]
    PADUA, D.A. and WOLFE, M.J.; Advanced Compiler Optimizations for Supercomputers; Comm. ACM 29, 1184–1200 (1986)Google Scholar
  58. [Per]
    PERLIS, D.; Languages with Self-Reference I: Foundations; Artificial Intelligence 3, 301–322 (85)Google Scholar
  59. [Pla]
    PLAISTED, D.A.; The Occur-Check Problem in Prolog; New Generation Computing 2, 309–322 (1984)Google Scholar
  60. [ReT]
    RETTBERG, R. and THOMAS, R.; Contention is no Obstacle to Shared-Memory Multiprocessing; Comm. ACM 29, 1202–1212 (1986)Google Scholar
  61. [Rob]
    ROBINSON, I.; A Prolog Processor Based on a Pattern Matching Memory Device; Third Int. Conf. on Logic Programming, 172–179 (1986)Google Scholar
  62. [RGB]
    ROHMER, J., GONZALEZ-RUBIO, R., and BRADIER, A.; Delta Driven Computer: A Parallel Machine for Symbolic Processing; (this volume), ()Google Scholar
  63. [Sei]
    SEITZ, Charles L.; Concurrent VLSI Architectures; IEEE Transactions on Computers 12, 1247–1265 (84)Google Scholar
  64. [Sh1]
    SHAPIRO, E.; Concurrent PROLOG: A Progress Report; in [BiJ], 277–313 (1986)Google Scholar
  65. [Sh2]
    SHAPIRO, E.Y.; Lecture notes on the Bagel: A Systolic Concurrent PROLOG Machine; TM 0031, ICOT, Tokyo (1983)Google Scholar
  66. [Shw]
    SHAW, D.E.; Non-Von: A Parallel Machine Architecture for Knowledge Based Information Processing.; Proc. IJCAI '81, 961–963 (81)Google Scholar
  67. [SSK]
    SOHMA, Y., SATOH, K., KUMON, K., MASUZAWA, H., ITASHIKI, A.; A New Parallel Inference Mechanism based on Sequential Processing; IFIP TC-10 Working Conference on Fifth Generation Computer Architecture, UMIST, Manchester (1985)Google Scholar
  68. [StW]
    STANFILL, C. and WALTZ, D.; Toward Memory-Based Reasoning; Comm. ACM 29, 1213–1228 (1986)Google Scholar
  69. [Sto]
    STOLFO, S.J.; Initial Performance of the DADO-2 Prototype; Computer 20, 75–85 (1987)Google Scholar
  70. [Syr]
    SYRE, J.-C.; A Review of Computer Architectures for Functional and Logic Programming Systems; ECRC, Munich, Germany (1985)Google Scholar
  71. [TaF]
    TAKEUCHI, A. and FURUKAWA, K.; Parallel Logic Programming Languages; Third Int. Conf. on Logic Programming, 242–254 (1986)Google Scholar
  72. [TYY]
    TAKI, K., YOKOTA, M., YAMAMOTO, A.,, NISHIKAWA, H., UCHIDA, S., NAKASHIMA, H., and MITSUISHI, A.; Hardware Design and Implementation of PSI; Proc. of the Intern. Conf. on Fifth Generation Computer Systems '84, ICOT, Tokyo (1984)Google Scholar
  73. [TaK]
    TAMURA, N. and KANADA, Y.; Implementing Parallel Prolog on a Multiprocessor Machine; Proc. of the Int. Symp. on Logic Programming '84, Atlantic City, New Jersey (1984)Google Scholar
  74. [TMS]
    TAYLOR, S., MAIO, C., STOLFO, S.J., and SHAW, D.E.; Prolog on the DADO Machine: A Parallel System for High-speed Logic Programming; Dep. of Comp. Sc., Columbia Univ., New York (1983)Google Scholar
  75. [TiW]
    TICK, E. and WARREN, D.H.D.; Towards a Pipelined Prolog Processor; New Generation Computing, 321–345 (1984)Google Scholar
  76. [TrR]
    TRELEAVEN, P.C. and REFENES, A.N.; Fifth Generation and VLSI Architectures; FGCS 6, 387–396 (1985)Google Scholar
  77. [TRL]
    TRELEAVEN, P.C., REFENES, A.N., LEES, K.J., and McCABE, S.C.; Computer Architectures for Artificial Intelligence; University College, London, (1986)Google Scholar
  78. [Wah]
    WAH, B.J.; Guest Editor's Introduction: New Computers for Artificial Intelligence Processing; Computer 20, 10–19 (1987)Google Scholar
  79. [War]
    WARREN, D.H.D.; An Abstract Prolog Instruction Set; SRI International, Artificial Intelligence Center, Menlo Park, California (1983)Google Scholar
  80. [Wes]
    WESTPHAL, H.; Eine Beurteilung paralleler Modelle fuer Prolog; Tagungsband GI-Jahrestagung '86, 227–240 (1986)Google Scholar
  81. [Yas]
    YASUURA, H.; On Parallel Computational Complexity of Unification; Proc. of the Int. Conf. on Fifth Gener. Comp. Systems, 235–243 (1984)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • W. Bibel
    • 1
  • F. Kurfeß
    • 1
  • K. Aspetsberger
    • 2
  • P. Hintenaus
    • 2
  • J. Schumann
    • 1
  1. 1.Technische Universität MünchenGermany
  2. 2.Universität LinzAustria

Personalised recommendations