Performance of an OR-parallel logic programming system
暂无分享,去创建一个
[1] David H. D. Warren,et al. The SRI Model for Or-Parallel Execution of Prolog: Abstract Design and Implementation Issues , 1987, SLP.
[2] Seif Haridi,et al. OR-Parallel Prolog Made Efficient on Shared Memory Multiprocessors , 1987, SLP.
[3] John S. Conery,et al. The and/or process model for parallel interpretation of logic programs , 1983 .
[4] Jim A. Crammond. A comparative study of unification algorithms for OR-parallel execution of logic languages , 1985, IEEE Transactions on Computers.
[5] Ewing L. Lusk,et al. Experiments with OR-Parallel Logic Programs , 1987, ICLP.
[6] Peter Borgwardt. Parallel Prolog Using Stack Segements on Shared-Memory Multiprocessors , 1984, SLP.
[7] John McCarthy,et al. Queue-based multi-processing LISP , 1984, LFP '84.
[8] Prakash Panangaden,et al. Stream-Based Execution of Logic Programming , 1984, SLP.
[9] Seif Haridi,et al. A Formal Model for Or-Parallel Execution of Logic Programs , 1983, IFIP Congress.
[10] Khayri A. M. Ali,et al. OR-parallel execution of Prolog on a multi-sequential machine , 1986, International Journal of Parallel Programming.
[11] Ken Satoh,et al. A new parallel inference mechanism based on sequential processing , 1986 .
[12] Peter Allmond Tinker. The design and implementation of an or-parallel logic programming system , 1987 .
[13] Gary Lindstrom,et al. A Performance-Oriented Design for OR-Parallel Logic Programming , 1987, ICLP.