PALM: a logic programming system on a highly parallel architecture
暂无分享,去创建一个
[1] Charles L. Seitz,et al. Concurrent VLSI Architectures , 1984, IEEE Transactions on Computers.
[2] Doug DeGroot,et al. Restricted AND-Parallelism , 1984, FGCS.
[3] Inmos Limited,et al. OCCAM 2 reference manual , 1988 .
[4] Robert A. Kowalski,et al. Predicate Logic as Programming Language , 1974, IFIP Congress.
[5] David Y. Y. Yun,et al. A Scalable Abstract Machine Model to Support Limited-OR (LOR) / Restricted-AND Parallelism (RAP) in Logic Programs , 1988, ICLP/SLP.
[6] Nissim Francez,et al. Distributed Termination , 1980, TOPL.
[7] Mario Cannataro,et al. Design, implementation and evaluation of a deadlock-free routing algorithm for concurrent computers , 1992, Concurr. Pract. Exp..
[8] Laxmikant V. Kalé,et al. The Reduce-Or Process Model for Parallel Execution of Logic Programs , 1991, J. Log. Program..
[9] M Cannataro,et al. A parallel logic system on a multicomputer architecture , 1991, Future Gener. Comput. Syst..
[10] John S. Conery. Parallel Execution of Logic Programs , 1987 .