PARLOG: Parallel Programming in Logic

ACM Transactions on Programming Languages and Systems (TOPLAS)

Volumn 8, Issue 1, 1986, Pages 1-49

  Clark, Keith ^a   Gregory, Steve ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

And parallelism; logic programming; nondeterminism; or parallelism; parallel programming

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING LANGUAGES;

CONCURRENT PROGRAMMING; FUNCTIONAL PROGRAMMING; LOGIC PROGRAMMING; PARLOG PROGRAMMING LANGUAGE;

COMPUTER PROGRAMMING;

EID: 0022582049     PISSN: 01640925     EISSN: 15584593     Source Type: Journal    
DOI: 10.1145/5001.5390     Document Type: Article

References (13)

1. BOWEN, D. L., BYRD, L., PEREIRA, F. C. N., PEREIRA, L. M., AND WARREN, D. H. D. DECsystem-10 Prolog user's manual. Dept. of Artificial Intelligence, Univ. of Edinburgh, Nov. 1982.
2. BRODA, K., AND GREGORY, S. PARLOG for discrete event simulation. In Proceedings of the 2nd international Logic Programming Conference (Uppsala, July 1984), 301-312.
3. CIEPIELEWSKI, A. Towards a computer architecture for or-parallel execution of logic programs. PhD thesis, TRITA-CS-8401, Dept. of Computer Systems, Royal Institute of Technology, Stockholm, May 1984.
4. CLARK, K. L. Negation as failure. In Logic and Databases, H. Gallaire and J. Minker, Eds., Plenum Press, New York, 1978.
5. CLARK, K. L., AND GREGORY, S. A relational language for parallel programming. In Proceedings of the 1981 ACM Conference on Functional Programming Languages and Computer Architecture (Portsmouth, N.H., Oct. 1981), 171-178.
6. CLARK, K. L., AND GREGORY, S. PARLOG: A parallel logic programming language. Res. rep. DOC 83/5, Dept. of Computing, Imperial College, London, May 1983.
7. CLARK, K. L., AND GREGORY, S. Notes on systems programming in PARLOG. In Proceedings of the International Conference on Fifth Generation Computer Systems (Tokyo, Nov. 19841, 299-306.
8. CLARK, K. L., AND GREGORY, S. Notes on the implementation of PARLOG. J. Logic Program. 2, 1 (Apr. 1985), 17-42.
9. CLARK, K. L., AND MCCABE, F. G. micro-PROLOG: Programming in Logic. Prentice-Hall, Englewood Cliffs, N.J., 1984.
10. CLARK, K. L., McCABE, F. G., AND GREGORY, S. IC-PROLOG language features. In Logic Programming, K. L. Clark and S-A. Tarnlund, Eds., Academic Press, London, 1982,253-266.
11. CLARK, K. L., AND TARNLUND, S-A. A first-order theory of data and programs. In Proceedings of the IFIP Congress 77 (1977), 939-944.
12. CLOCKSIN, W. F., AND MELLISH, C. S. Programming in Prolog. Springer-Verlag, New York, 1981.
13. CONERY, J. S. The AND/OR process model for parallel interpretation of logic programs. PhD thesis, Tech. rep 204, Dept. of Information and Computer Science, Univ. of California, Irvine, June 1983.