Constraint satisfaction in distributed concurrent logic programming

Journal of Symbolic Computation

Volumn 21, Issue 4-6, 1996, Pages 699-714

  Leung, Ho Fung ^a   Clark, Keith L ^b  

^a CHINESE UNIVERSITY OF HONG KONG   (Hong Kong)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030118711     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1006/jsco.1996.0037     Document Type: Article

References (26)

1. Bevan, D.I. (1987). Distributed garbage collection using reference counting. In Bakker, J.W. de, Nijman, L., Treleaven, P.C. (eds), PARLE parallel architectures and languages Europe, pp. 176-187, Eindhoven, Netherlands, June. Springer-Verlag.
2. Bland, R.G. (1977). New finite pivoting rules for the simplex method. Mathematics of Operations Research, 2(2):103-107.
3. Buchberger, B. (1985). Gröbner bases: an algorithmic method in polynomial ideal theory. In Bose, N.K., Guiver, J.P. (eds), Multidimensional Systems Theory, pp. 184-232. Dordrecht, D. Reidel Publishing.
4. Büttner, W., Simonis, H. (1987). Embedding boolean expressions into logic programming. J. Symbolic Computation, 4:191-205.
5. Clark, K.L. (1990). Parallel logic programming. The Computer J., 33(6):482-493.
6. Clark, K.L., Gregory, S. (1986). PARLOG: parallel programming in logic. ACM Toplas, 8(1):1-49.
7. Crammond, J., Davison, A., Burt, A., Huntbach, M., Lam, M., Cosmadopoulos, Y., Chu, D. (1993). The Parallel Parlog User Manual V1.5.9. Parlog Group, Department of Computing, Imprial College of Science, Technology and Medicine, London, United Kingdom, September.
8. Dantzig, G.B. (1951). Maximisation of linear function of variables subject to linear inequalities. In Koopmans, T.C. (ed.), Activity Analysis of Production and Allocation - Proceedings of a Conference, pp. 339-347, New York, John Wiley.
9. Dincbas, M. Van Hentenryck, P., Simonis, H., Aggoun, A., Graf, T., Berthier, F. (1988). The Constraint Logic Programming Language CHIP. In ICOT (ed.), Proc. International Conference on Fifth Generation Computer Systems 1988, pp. 693-702, Tokyo, Japan. ICOT, ICOT.
10. Foster, I. (1988). Parallel implementation of parlog. In Briggs, F.A., Sturgis, H.E., Bailey, D.H. (eds), Proceedings of the 1988 International Conference on Parallel Processing. Dept. of Electrical Engg., Penn. State University, IEEE Computer Society Press, August.
11. Foster, I. (1989). A multicomputer garbage collector for a single-assignment language. Int. J. Parallel Programming, 18(3):181-203.
12. Gregory, S. (1987). Parallel Logic Programming in PARLOG: the language and its implementation, volume 1 of International series on logic programming. Wokingham, Addison-Wesley.
13. Ichiyoshi, N., Rokusawa, K., Nakajima, K., Inamura, Y. (1992). A new external reference management and distributed unification for KL1. In ICOT (ed.), Proc. International Conference on Fifth Generation Computer Systems 1992, pp. 904-913, Tokyo, Japan, June. ICOT, ICOT.
14. Jaffar, J., Lassez, J.-L. (1987). Constraint Logic Programming. In Conference record of the 14th Annual ACM Symposium on Principles of Programming Language, pp. 111-119, Munich, Germany, January. ACM.
15. Jaffar, J., Michaylov, S., Stuckey, P.J., Yap, R.H.C. (1992). The CLP(R) language and system. ACM Transactions on Programming Languages and Systems, 14(3):339-395.
16. Leung, H.F. (1993). Distributed Constraint Logic Programming, volume 41 of World Scientific series in computer science. Singapore, World Scientific.
17. Maher, M.J. (1987). Logic semantics for a class of committed-choice programs. In Lassez, J.-L. (ed.), Logic Programming: proceedings of the Fourth International Conference, pp. 858-876, Melbourne, Australia, The MIT Press.
18. Rudeanu, S. (1974). Boolean Functions and Equations. North-Holland, Amsterdam, The Netherlands.
19. Stuckey, P.J. (1987). Incremental linear arithmetic constraint solving and detection of implicit equalities. Research report, Department of Computer Science, University of Melbourne, Parkville, Australia.
20. Takeda, Y., Nakashima, H., Masuda, K., Chikayama, T., Taki, K. (1988). A load balancing mechanism for large scale multiprocessor systems and its implementation. In ICOT (ed.), Proc. Int. Conf. on Fifth Generation Computer Systems 1988, pp. 978-986, Tokyo, Japan. ICOT.
21. Taki, K. (1988). The parallel software research and development tool: multi-psi system. In Fuchi, K., Nivat, M. (eds). Programming of Future Generation Computers: proceedings of the First Franco-Japanese Symposium on Programming of Future Generation Computers, pp. 411-426. Amsterdam, Elsevier Science Publishing.
22. Taylor, S., Safra, S., Shapiro, E. (1987). A parallel implementation of flat concurrent prolog. Int. J. Parallel Programming, 15(3):245-275.
23. Terasaki, S., Hawley, D.J., Sawada, H., Satoh, K., Menju, S., Kawagishi, T., Iwayama, N., Aiba, A. (1992). Parallel constraint logic programming language gdcc and its parallel constraint solvers. In ICOT (ed.), Proceedings of the International Conference on Fifth Generation Computer Systems 1992, pp. 330-346, Tokyo. ICOT.
24. The COSYTEC team (1993). CHIP Reference Manual. COSYTEC SA, Orsay Cedex, France.
25. Ueda, K. (1987). Making exhaustive search programs deterministic. New Generation Computing, 5:29-44.
26. Watson, P., Watson, I. (1987). An efficient garbage collection scheme for parallel computer architecture. In Bakker, J.W. de, Nijman, L., Treleaven, P.C. (eds), PARLE parallel architectures and languages Europe, pp. 432-443, Eindhoven, Netherlands, June. Springer-Verlag.