PARTHENON: a parallel theorem prover for nonHorn clauses
暂无分享,去创建一个
[1] David H. D. Warren,et al. Or-Parallel Execution Models of Prolog , 1987, TAPSOFT, Vol.2.
[2] Donald W Loveland,et al. Automated theorem proving: a logical basis , 1978, Fundamental studies in computer science.
[3] Donald W. Loveland,et al. A Simplified Format for the Model Elimination Theorem-Proving Procedure , 1969, J. ACM.
[4] Donald W. Loveland,et al. Mechanical Theorem-Proving by Model Elimination , 1968, JACM.
[5] David H. D. Warren,et al. The SRI Model for Or-Parallel Execution of Prolog: Abstract Design and Implementation Issues , 1987, SLP.
[6] Ewing L. Lusk,et al. Experiments with OR-Parallel Logic Programs , 1987, ICLP.
[7] Richard C. T. Lee,et al. Symbolic logic and mechanical theorem proving , 1973, Computer science classics.
[8] Maurice Bruynooghe,et al. The memory management of PROLOG implementations , 1980 .