PRISM: a parallel inference system for problem solving

作者： Simon Kasif , Jack Minker , Madhur Kohli

DOI:

关键词: Prism 、 Inference system 、 Algorithm 、 Computer science 、 Mathematical optimization

摘要:

参考文章(4)

Keith L. Clark, Negation as failure Logic and Data Bases. pp. 311- 325 ,(1987) , 10.1007/978-1-4684-3384-5_11

Michael J. Wise, A parallel Prolog: The construction of a data driven model international conference on functional programming. pp. 56- 66 ,(1982) , 10.1145/800068.802135

Carl Hewitt, Viewing control structures as patterns of passing messages Artificial Intelligence. ,vol. 8, pp. 323- 364 ,(1977) , 10.1016/0004-3702(77)90033-9

Robert Kowalski, Steve Smoliar, Logic for problem solving ,(1979)