P-Prolog: A parallel logic language based on exclusive relation
暂无分享,去创建一个
[1] Richard C. T. Lee,et al. Symbolic logic and mechanical theorem proving , 1973, Computer science classics.
[2] Kazunori Ueda,et al. Guarded Horn Clauses , 1986, LP.
[3] C. A. R. Hoare,et al. Algorithm 64: Quicksort , 1961, Commun. ACM.
[4] Ehud Shapiro,et al. A subset of Concurrent Prolog and its interpreter , 1988 .
[5] C. A. R. Hoare,et al. Algorithm 65: find , 1961, Commun. ACM.
[6] Robert A. Kowalski,et al. Logic for problem solving , 1982, The computer science library : Artificial intelligence series.
[7] William F. Clocksin,et al. Programming in Prolog , 1981, Springer Berlin Heidelberg.
[8] Keith L. Clark,et al. PARLOG: parallel programming in logic , 1986, ACM Trans. Program. Lang. Syst..