Parallel inference algorithms for the connection method on systolic arrays

References

• Bibel W. Automated Theorem Proving Springer-Verlag Vieweg, Braunschweig 1987 Wiesbaden, second edition
   Google Scholar
• Bibel , W. 1983 . Matings in Matrices . Communications of the ACM , 26 ( 11 ) : 844 – 852 .
   Web of Science ®Google Scholar
• Chang , Chin-Liang and Char-Tung Lee , Richard . 1973 . “ Symbolic and Mechanical Theorem Proving Computer Science and Applied Mathematics Series ” . New York : Academic Press .
   Google Scholar
• Clark Keith L. Gregory Steve PARLOG: A Parallel logic Programming Language Research Report DOC83/5, Imperial college March 1983
   Google Scholar
• Evans , D. J. 1991 . Systolic Algorithms , Gordon and Breach Science Publishers .
   Google Scholar
• Forgy , C. L. 1982 . A Fast Algorithm for the Many Pattern/Many Object Pattern Match Problem . Artificial Intelligence , 19 : 17 – 37 .
   Web of Science ®Google Scholar
• Gupta , A. 1987 . “ Parallelism in Production systems ” . In Morgan Kaufmann Publishers, Inc
   Google Scholar
• Han , Yong-Fei . 1987 . Multivalue logic BOS system . Science and Technology Journal of Jilin University , 3
   Google Scholar
• Hillyer , B. and Shaw , D. 1986 . Execution of OPS5 Production Systems on a Massively Parallel Machine . Journal of Parallel and Distributed Computing , 3 ( 2 )
   Web of Science ®Google Scholar
• Miranker , D. P. 1990 . “ TREAT: A New and Efficient Match Algorithm for AI Production Systems ” . Morgan Kaufmann Publishers, Inc .
   Google Scholar
• Kung , H. T. and Leiserson , C. E. 1978 . “ Systolic array for (VLSI) ” . In Proc. of the Symposium on Sparse Matrices Computations , Edited by: Duffet , I. S. 256 – 282 . Knoxville, Tenn .
   Google Scholar
• Kurfess , F. 1991 . “ Parallelism in Logic-its Potential for Performance and Program Development ” . Vieweg .
   Google Scholar
• Shapiro Ehud Y. A Subset of Concurrent Prolog and Its Interpreter ICO T Tech. Report TR-003 Tokyo, Japan 1983
   Google Scholar
• Stolfo , S. J. and Miranker , D. P. 1984 . DADO: A Parallel Processor for Expert Systems . Parallel Processing , : 92 – 100 .
   Google Scholar