{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:50:08Z","timestamp":1725663008557},"publisher-location":"Berlin, Heidelberg","reference-count":81,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540182030"},{"type":"electronic","value":"9783540478065"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18203-9_5","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:31:48Z","timestamp":1330198308000},"page":"185-226","source":"Crossref","is-referenced-by-count":9,"title":["Parallel inference machines"],"prefix":"10.1007","author":[{"given":"W.","family":"Bibel","sequence":"first","affiliation":[]},{"given":"F.","family":"Kurfe\u00df","sequence":"additional","affiliation":[]},{"given":"K.","family":"Aspetsberger","sequence":"additional","affiliation":[]},{"given":"P.","family":"Hintenaus","sequence":"additional","affiliation":[]},{"given":"J.","family":"Schumann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"5_CR1","volume-title":"Design and Analysis of Computer Algorithms","author":"A. V. Aho","year":"1974","unstructured":"AHO, A. V., HOPCROFT, J. E., and ULLMAN, J. D.; Design and Analysis of Computer Algorithms; Addison-Wesley, Reading, Massachusetts (1974)"},{"key":"5_CR2","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1109\/MC.1987.1663357","volume":"20","author":"J. Anderson","year":"1987","unstructured":"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\u201367 (1987)","journal-title":"Computer"},{"key":"5_CR3","series-title":"Techn. Rep.","volume-title":"XP's: An Extended OR-Parallel Prolog System","author":"M. Aso","year":"1983","unstructured":"ASO, M. and ONAI, R.; XP's: An Extended OR-Parallel Prolog System; Techn. Rep. TR 023, ICOT, Tokyo (1983)"},{"key":"5_CR4","unstructured":"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)"},{"key":"5_CR5","volume-title":"Implementierung eines parallelen Theorembewisers und Simulation der Ausfuehrung auf einer Mehrprozessormaschine","author":"J. Bachinger","year":"1987","unstructured":"BACHINGER, J.; Implementierung eines parallelen Theorembewisers und Simulation der Ausfuehrung auf einer Mehrprozessormaschine; Institut fuer Informatik, Techn. Universitaet, Muenchen (1987)"},{"key":"5_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-90100-2","volume-title":"Automated Theorem Proving","author":"W. Bibel","year":"1982","unstructured":"BIBEL, W.; Automated Theorem Proving; Vieweg, Braunschweig, Wiesbaden (1982)"},{"key":"5_CR7","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1145\/322276.322277","volume":"28","author":"W. Bibel","year":"1980","unstructured":"BIBEL, W.; On Matrices with Connections; J.ACM 28, 633\u2013645 (1980)","journal-title":"J.ACM"},{"key":"5_CR8","doi-asserted-by":"crossref","first-page":"844","DOI":"10.1145\/182.183","volume":"26","author":"W. Bibel","year":"1983","unstructured":"BIBEL, W.; Matings in Matrices; Comm. of the ACM 26, 844\u2013852 (1983)","journal-title":"Comm. of the ACM"},{"key":"5_CR9","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/S0747-7171(85)80033-X","volume":"1","author":"W. Bibel","year":"1985","unstructured":"W. BIBEL and K. ASPETSBERGER; A Bibliography on Parallel Inference Machines; Symbolic Computation 1, 115\u2013118 (1985)","journal-title":"Symbolic Computation"},{"key":"5_CR10","first-page":"177","volume":"3","author":"W. Bibel","year":"1984","unstructured":"BIBEL, W. and BUCHBERGER, B.; Towards a Connection Machine for Logic Inference; Future Generations Computer Systems 3, 177\u2013188 (1984)","journal-title":"Future Generations Computer Systems"},{"key":"5_CR11","series-title":"LNCS","volume-title":"Fundamentals of Artificial Intelligence","year":"1986","unstructured":"BIBEL, W. and JORRAND, P. (eds.); Fundamentals of Artificial Intelligence; LNCS 232, Springer, Berlin (1986)"},{"key":"5_CR12","unstructured":"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)"},{"key":"5_CR13","unstructured":"BUCHBERGER, B.; Computer Trees and their Programming; 4th Coll. Trees in Algebra and Programming, Lille, 1\u201318 (78)"},{"key":"5_CR14","unstructured":"BUCHBERGER, B.; Components for Restructurable Multi-Microprocessor Systems of Arbitrary Topology; MIMI 83, Lugano, 67\u201371 (1983)"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"BUCHBERGER, B.; The Present State of the L-Network Project; MIMI 84, Bari, 178\u2013181 (1984)","DOI":"10.1016\/0014-5793(84)81276-4"},{"key":"5_CR16","series-title":"LNCS","volume-title":"The L-Machine: An Attempt at Parallel Hardware for Symbolic Computation.; Proc. AAECC-3","author":"B. Buchberger","year":"1985","unstructured":"BUCHBERGER, B.; The L-Machine: An Attempt at Parallel Hardware for Symbolic Computation.; Proc. AAECC-3, LNCS 229, Springer, Berlin (1985)"},{"key":"5_CR17","volume-title":"The New L-Machine: A Parallel Machine for Symbolic and Numerical Computation","author":"B. Buchberger","year":"1986","unstructured":"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)"},{"key":"5_CR18","unstructured":"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\u2013562 (1984)"},{"key":"5_CR19","volume-title":"Parlog: Parallel Programming in Logic","author":"K. Clark","year":"1986","unstructured":"CLARK, K. and GREGORY, St.; Parlog: Parallel Programming in Logic; Dep. of Computing, Imperial College of Sc. and Technology, London (1986)"},{"issue":"1","key":"5_CR20","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1007\/BF03037117","volume":"3","author":"W. Clocksin","year":"1985","unstructured":"CLOCKSIN, W.; Design and Implementation of a Sequential PROLOG Machine; New Generation Computing 3\/1, 101\u2013119 (1985)","journal-title":"New Generation Computing"},{"key":"5_CR21","volume-title":"Programming in PROLOG","author":"W. Clocksin","year":"1981","unstructured":"CLOCKSIN, W. and MELLISH, C.; Programming in PROLOG; Springer-Verlag, Berlin (1981)"},{"key":"5_CR22","volume-title":"The AND\/OR Process Model for Parallel Execution of Logic Programs","author":"J. S. Conery","year":"1983","unstructured":"CONERY, J. S.; The AND\/OR Process Model for Parallel Execution of Logic Programs; Univ. of California, Irvine (1983)"},{"key":"5_CR23","unstructured":"DARLINGTON, J. and REEVE, M.; ALICE and the Parallel Evaluation of Logic Programs; The 10th Annual Int. Symp. on Comp. Architecture, Stockholm (1983)"},{"key":"5_CR24","unstructured":"de GROOT, D.; Restricted AND-Parallelism; Proc. of the Int. Conf. on Fifth Generation Computer Systems, 471\u2013478 (1984)"},{"key":"5_CR25","doi-asserted-by":"crossref","first-page":"1163","DOI":"10.1145\/7902.315708","volume":"29","author":"P. J. Denning","year":"1986","unstructured":"DENNING, P.J.; Parallel Computing and Its Evolution; Comm. ACM 29, 1163\u20131169 (1986)","journal-title":"Comm. ACM"},{"key":"5_CR26","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0167-739X(86)90022-1","volume":"2","author":"H. Diel","year":"1986","unstructured":"DIEL, H., LENZ, N., and WELSCH, H. M.; System Structure for Parallel Logic Programming; FGCS 2, 225\u2013231 (1986)","journal-title":"FGCS"},{"key":"5_CR27","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/BF00246022","volume":"2","author":"W. Dilger","year":"1986","unstructured":"DILGER, W. and JANSON, A.; Intelligent Backtracking in Deduction Systems by Means of Extended Unification Graphs; Journal of Automated Reasoning 2, 43\u201362 (1986)","journal-title":"Journal of Automated Reasoning"},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"DWORK, C., KANELLAKIS, P., and STOCKMEYER, L.; Parallel Algorithms for Term Matching; Proc. CADE 8, Oxford, 416\u2013430 (1986)","DOI":"10.1007\/3-540-16780-3_109"},{"key":"5_CR29","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1109\/MC.1987.1663364","volume":"20","author":"S. E. Fahlman","year":"1987","unstructured":"FAHLMAN, S.E. and HINTON, G.E.; Connectionist Architectures for Artificial Intelligence; Computer 20, 100\u2013118 (1987)","journal-title":"Computer"},{"key":"5_CR30","volume-title":"An Inference Processor based on reactive memory","author":"I. Georgescu","year":"1986","unstructured":"GEORGESCU, Ioan; An Inference Processor based on reactive memory; Inst. for Comp. and Inform., Dep. of Robotics and Artificial Intelligence, Bucharest (1986)"},{"issue":"3","key":"5_CR31","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1016\/0167-739X(85)90018-4","volume":"1","author":"W. K. Giloi","year":"1985","unstructured":"GILOI, W. K.; Advanced Object Oriented Architectures; Future Generation Computer Systems 1\/3, 169\u2013175 (1985)","journal-title":"Future Generation Computer Systems"},{"key":"5_CR32","doi-asserted-by":"crossref","unstructured":"GOTO, A., TANAKA, H., and MOTO-OKA, T.; Highly Parallel Inference Engine: PIE. Goal Rewriting Model and Machine Architecture; New Generation Computing 1, (1984)","DOI":"10.1007\/BF03037051"},{"key":"5_CR33","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/BF03037051","volume":"2","author":"A. Goto","year":"1984","unstructured":"GOTO, A., TANAKA, H., and MOTO-OKA, T.; Highly Parallel Inference Engine: PIE. Goal Rewriting Model and Machine Architecture; New Generation Computing 2, 37\u201385 (1984)","journal-title":"New Generation Computing"},{"key":"5_CR34","unstructured":"GOTO, A. and UCHIDA, S.; Current Research Status of PIM: Parallel Inference Machine; Proceedings of the Third Japanese-Swedish Workshop, (1985)"},{"key":"5_CR35","volume-title":"Parallel Algorithms and Architectures for Rule-Based Systems","author":"A. Gupta","year":"1986","unstructured":"GUPTA, A., FORGY, C., NEWELL, A., and WEDIG, R.; Parallel Algorithms and Architectures for Rule-Based Systems; Carnegie-Mellon University, Pittsburgh, Pennsylvania (1986)"},{"key":"5_CR36","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1109\/MC.1982.1653823","volume":"1","author":"L. S. Haynes","year":"1982","unstructured":"HAYNES, L.S., LAU, R.L., SIEWIOREK, D.P., and MIZELL, D.W.; A Survey of Highly Parallel Computing; Computer 1, 9\u201324 (1982)","journal-title":"Computer"},{"key":"5_CR37","doi-asserted-by":"crossref","unstructured":"HERMENEGILDO, M.V.; An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs; Third Int. Conf. on Logic Programming '86, 25\u201339 (1986)","DOI":"10.1007\/3-540-16492-8_62"},{"key":"5_CR38","doi-asserted-by":"crossref","unstructured":"HERMENEGILDO, M.V. and NASR, R.I.; Efficient Management of Backtracking in AND-Parallelism; Third Int. Conf. on Logic Programming '86, 40\u201354 (1986)","DOI":"10.1007\/3-540-16492-8_63"},{"key":"5_CR39","volume-title":"The Connection Machine","author":"D. W. Hillis","year":"1985","unstructured":"HILLIS, D. W.; The Connection Machine; MIT Press, Cambridge, Massachusetts USA (1985)"},{"key":"5_CR40","doi-asserted-by":"crossref","first-page":"1170","DOI":"10.1145\/7902.7903","volume":"29","author":"W. D. Hillis","year":"1986","unstructured":"HILLIS, W.D. and STEELE, G.L.; Data Parallel Algorithms; Comm. ACM 29, 1170\u20131183 (1986)","journal-title":"Comm. ACM"},{"key":"5_CR41","volume-title":"Boltzmann Machines: Constraint Satisfaction Networks that Learn","author":"G. P. Hinton","year":"1984","unstructured":"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)"},{"key":"5_CR42","first-page":"19","volume":"20","author":"K. Ghosh","year":"1987","unstructured":"GHOSH, K. HWANG, J. R. CHOKWANYUN; Computer Architectures for Artificial Intelligence Processing; Computer 20, 19\u201330 (1987)","journal-title":"Computer"},{"key":"5_CR43","volume-title":"Occam Programming Manual","author":"Inmos","year":"1984","unstructured":"INMOS; Occam Programming Manual; Prentice\/Hall, New Jersey (1984)"},{"key":"5_CR44","volume-title":"Proc. of the Logic Programming Conference","author":"N. Ito","year":"1983","unstructured":"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)"},{"key":"5_CR45","doi-asserted-by":"crossref","unstructured":"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\u2013276 (1986)","DOI":"10.1007\/978-3-662-40145-3_6"},{"key":"5_CR46","unstructured":"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)"},{"key":"5_CR47","unstructured":"KASIF, S.; On the Parallel Complexity of Some Constraint Satisfaction Problems; AAAI '86, 349\u2013353 (1986)"},{"key":"5_CR48","unstructured":"KASIF, S., KOHLI, M., and MINKER, J.; PRISM: A Parallel Inference System for Problem Solving; Proceedings of the Logic Programming Workshop '83, 123\u2013152 (1983)"},{"key":"5_CR49","unstructured":"KASIF, S., REIF, J. H., and SHERLEKAR, D. D.; Formula Dissection: A Parallel Algorithm for Constraint Satisfaction; submitted to IJCAI '87, Milano (1987)"},{"key":"5_CR50","volume-title":"Logic for Problem Solving","author":"R. Kowalski","year":"1979","unstructured":"KOWALSKI, R.; Logic for Problem Solving; North-Holland, New York (1979)"},{"key":"5_CR51","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0167-9236(85)90172-1","volume":"1","author":"C.-H. Kung","year":"1985","unstructured":"KUNG, C.-H.; High Parallelism and a Proof Procedure; Decision Support Systems 1, 323\u2013331 (1985)","journal-title":"Decision Support Systems"},{"key":"5_CR52","doi-asserted-by":"crossref","unstructured":"KURSAWE, P.; How to Invent a Prolog Machine; Third Int. Conf. on Logic Programming '86, 135\u2013148 (1986)","DOI":"10.1007\/3-540-16492-8_70"},{"key":"5_CR53","unstructured":"LERNER, M.D., MAGUIRE, G.Q., and STOLFO, S.J.; An overview of the DADO parallel computer; National Computer Conference, 298\u2013306 (1985)"},{"key":"5_CR54","unstructured":"LI, G. and WAH, B.W.; MANIP-2: A Multicomputer Architecture for Evaluating Logic Programs; Intern. Conf. on Parallel Processing, 123\u2013130 (1985)"},{"key":"5_CR55","doi-asserted-by":"crossref","unstructured":"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\u2013197 (1985)","DOI":"10.1145\/327070.327163"},{"key":"5_CR56","series-title":"Tech. Rep.","volume-title":"An Approach to a Parallel Inference Machine Based on Control-Driven and Data-Driven Mechanisms","author":"R. Onai","year":"1984","unstructured":"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)"},{"key":"5_CR57","doi-asserted-by":"crossref","first-page":"1184","DOI":"10.1145\/7902.7904","volume":"29","author":"D. A. Padua","year":"1986","unstructured":"PADUA, D.A. and WOLFE, M.J.; Advanced Compiler Optimizations for Supercomputers; Comm. ACM 29, 1184\u20131200 (1986)","journal-title":"Comm. ACM"},{"key":"5_CR58","doi-asserted-by":"crossref","unstructured":"PERLIS, D.; Languages with Self-Reference I: Foundations; Artificial Intelligence 3, 301\u2013322 (85)","DOI":"10.1016\/0004-3702(85)90075-X"},{"key":"5_CR59","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/BF03037324","volume":"2","author":"D. A. Plaisted","year":"1984","unstructured":"PLAISTED, D.A.; The Occur-Check Problem in Prolog; New Generation Computing 2, 309\u2013322 (1984)","journal-title":"New Generation Computing"},{"key":"5_CR60","doi-asserted-by":"crossref","first-page":"1202","DOI":"10.1145\/7902.7905","volume":"29","author":"R. Rettberg","year":"1986","unstructured":"RETTBERG, R. and THOMAS, R.; Contention is no Obstacle to Shared-Memory Multiprocessing; Comm. ACM 29, 1202\u20131212 (1986)","journal-title":"Comm. ACM"},{"key":"5_CR61","doi-asserted-by":"crossref","unstructured":"ROBINSON, I.; A Prolog Processor Based on a Pattern Matching Memory Device; Third Int. Conf. on Logic Programming, 172\u2013179 (1986)","DOI":"10.1007\/3-540-16492-8_73"},{"key":"5_CR62","unstructured":"ROHMER, J., GONZALEZ-RUBIO, R., and BRADIER, A.; Delta Driven Computer: A Parallel Machine for Symbolic Processing; (this volume), ()"},{"key":"5_CR63","doi-asserted-by":"crossref","first-page":"1247","DOI":"10.1109\/TC.1984.1676396","volume":"12","author":"SEITZ Charles","year":"84","unstructured":"SEITZ, Charles L.; Concurrent VLSI Architectures; IEEE Transactions on Computers 12, 1247\u20131265 (84)","journal-title":"IEEE Transactions on Computers"},{"key":"5_CR64","doi-asserted-by":"crossref","unstructured":"SHAPIRO, E.; Concurrent PROLOG: A Progress Report; in [BiJ], 277\u2013313 (1986)","DOI":"10.1007\/978-3-662-40145-3_7"},{"key":"5_CR65","volume-title":"Lecture notes on the Bagel: A Systolic Concurrent PROLOG Machine","author":"E. Y. Shapiro","year":"1983","unstructured":"SHAPIRO, E.Y.; Lecture notes on the Bagel: A Systolic Concurrent PROLOG Machine; TM 0031, ICOT, Tokyo (1983)"},{"key":"5_CR66","unstructured":"SHAW, D.E.; Non-Von: A Parallel Machine Architecture for Knowledge Based Information Processing.; Proc. IJCAI '81, 961\u2013963 (81)"},{"key":"5_CR67","volume-title":"IFIP TC-10 Working Conference on Fifth Generation Computer Architecture","author":"Y. Sohma","year":"1985","unstructured":"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)"},{"key":"5_CR68","doi-asserted-by":"crossref","first-page":"1213","DOI":"10.1145\/7902.7906","volume":"29","author":"C. Stanfill","year":"1986","unstructured":"STANFILL, C. and WALTZ, D.; Toward Memory-Based Reasoning; Comm. ACM 29, 1213\u20131228 (1986)","journal-title":"Comm. ACM"},{"key":"5_CR69","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1109\/MC.1987.1663360","volume":"20","author":"S. J. Stolfo","year":"1987","unstructured":"STOLFO, S.J.; Initial Performance of the DADO-2 Prototype; Computer 20, 75\u201385 (1987)","journal-title":"Computer"},{"key":"5_CR70","volume-title":"A Review of Computer Architectures for Functional and Logic Programming Systems","author":"J.-C. Syre","year":"1985","unstructured":"SYRE, J.-C.; A Review of Computer Architectures for Functional and Logic Programming Systems; ECRC, Munich, Germany (1985)"},{"key":"5_CR71","doi-asserted-by":"crossref","unstructured":"TAKEUCHI, A. and FURUKAWA, K.; Parallel Logic Programming Languages; Third Int. Conf. on Logic Programming, 242\u2013254 (1986)","DOI":"10.1007\/3-540-16492-8_79"},{"key":"5_CR72","volume-title":"Proc. of the Intern. Conf. on Fifth Generation Computer Systems '84","author":"K. Taki","year":"1984","unstructured":"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)"},{"key":"5_CR73","unstructured":"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)"},{"key":"5_CR74","volume-title":"Prolog on the DADO Machine: A Parallel System for High-speed Logic Programming","author":"S. Taylor","year":"1983","unstructured":"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)"},{"key":"5_CR75","doi-asserted-by":"crossref","unstructured":"TICK, E. and WARREN, D.H.D.; Towards a Pipelined Prolog Processor; New Generation Computing, 321\u2013345 (1984)","DOI":"10.1007\/BF03037325"},{"key":"5_CR76","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1016\/0167-739X(85)90022-6","volume":"6","author":"P. C. Treleaven","year":"1985","unstructured":"TRELEAVEN, P.C. and REFENES, A.N.; Fifth Generation and VLSI Architectures; FGCS 6, 387\u2013396 (1985)","journal-title":"FGCS"},{"key":"5_CR77","volume-title":"Computer Architectures for Artificial Intelligence","author":"P. C. Treleaven","year":"1986","unstructured":"TRELEAVEN, P.C., REFENES, A.N., LEES, K.J., and McCABE, S.C.; Computer Architectures for Artificial Intelligence; University College, London, (1986)"},{"key":"5_CR78","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MC.1987.1663350","volume":"20","author":"B. J. Wah","year":"1987","unstructured":"WAH, B.J.; Guest Editor's Introduction: New Computers for Artificial Intelligence Processing; Computer 20, 10\u201319 (1987)","journal-title":"Computer"},{"key":"5_CR79","volume-title":"An Abstract Prolog Instruction Set","author":"D. H. D. D. Warren","year":"1983","unstructured":"WARREN, D.H.D.; An Abstract Prolog Instruction Set; SRI International, Artificial Intelligence Center, Menlo Park, California (1983)"},{"key":"5_CR80","doi-asserted-by":"crossref","unstructured":"WESTPHAL, H.; Eine Beurteilung paralleler Modelle fuer Prolog; Tagungsband GI-Jahrestagung '86, 227\u2013240 (1986)","DOI":"10.1007\/978-3-642-71388-0_18"},{"key":"5_CR81","unstructured":"YASUURA, H.; On Parallel Computational Complexity of Unification; Proc. of the Int. Conf. on Fifth Gener. Comp. Systems, 235\u2013243 (1984)"}],"container-title":["Lecture Notes in Computer Science","Future Parallel Computers"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18203-9_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:14:33Z","timestamp":1605644073000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18203-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540182030","9783540478065"],"references-count":81,"URL":"https:\/\/doi.org\/10.1007\/3-540-18203-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}