Logic programming in the context of multiparadigm programming: The OZ experience

Theory and Practice of Logic Programming

Volumn 3, Issue 6, 2003, Pages 717-763

  Van Roy, Peter ^a   Brand, Per ^b   Duchier, Denys ^c   Haridi, Seif ^d   Schulte, Christian ^d   Henz, Martin ^e  

^a UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

^b SWEDISH INSTITUTE OF COMPUTER SCIENCE   (Sweden)

^c SAARLAND UNIVERSITY   (Germany)

^d ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

^e NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

Concurrent constraint programming; Encapsulated search; History; Language design; Multiparadigm programming; Oz; Prolog; Software development

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; CONSTRAINT THEORY; DATA STRUCTURES; EXPERT SYSTEMS; OPTIMIZATION; PROBLEM SOLVING; PROLOG (PROGRAMMING LANGUAGE); SOFTWARE ENGINEERING; THEOREM PROVING;

CONCURRENT CONSTRAINT PROGRAMMING; MULTIPARADIGM PROGRAMMING; NATURAL LANGUAGE PARSING; POLYNOMIAL-TIME ALGORITHM;

LOGIC PROGRAMMING;

EID: 1242333087     PISSN: 14710684     EISSN: None     Source Type: Journal    
DOI: 10.1017/S1471068403001741     Document Type: Article

References (128)

1. Abelson, H., Sussman, G. J. and Sussman, J. (1996) Structure and Interpretation of Computer Programs, 2 ed. MIT Press.
2. Aït-Kaci, H. and Lincoln, P. (1988) LIFE: A natural language for natural language. MCC Technical Report ACA-ST-074-88. MCC, ACA Program.
3. Aït-Kaci, H. and Nasr, R. (1989) Integrating logic and functional programming. Journal of Lisp and Symbolic Computation 2, 51-89.
4. Aït-Kaci, H. and Podelski, A. (1993) Towards a meaning of LIFE. Journal of Logic Programming 16(3-4), 195-234.
5. Aït-Kaci, H., Dumant, B., Meyer, R., Podelski, A. and Van Roy, P. (1994) The Wild LIFE handbook. Available at http://www.info.ucl.ac.be/people/PVR/handbook.ps.
6. Armstrong, J., Williams, M., Wikström, C. and Virding, R. (1996) Concurrent Programming in Erlang. Prentice-Hall.
7. Arnold, K. and Golsing, J. (1998) The Java Programming Language, 2 ed. Addison-Wesley.
8. Ashenhurst, R. L. and Graham, S. (eds). (1987) ACM Turing Award Lectures: The first twenty years. ACM Press.
9. Bal, H. E., Steiner, J. G. and Tanenbaum, A. S. (1989) Programming languages for distributed computing systems. ACM Computing Surveys 21(3), 261-322.
10. Baumgartner, G., Jansche, M. and Peisert, C. D. (2001) Support for functional programming in Brew. Workshop on Multiparadigm Programming with Object-oriented Languages (MPOOL), European Conference on Object-Oriented Programming (ECOOP). vol. 7, pp. 111-125. John von Neumann Institute for Computing.
11. Budd, T. A. (1995) Multiparadigm Programming in Leda. Addison-Wesley.
12. Carlsson et al. (1999) SICStus Prolog 3.8.1. Available at http://www.sics.se.
13. Carriero, N. and Gelernter, D. (1989) Linda in context. Communications of the ACM 32(4), 444-458.
14. Carriero, N. and Gelernter, D. (1992) Coordination languages and their significance. Communications of the ACM 35(2), 96-107.
15. Cartwright, R. and Fagan, M. (1991) Soft typing. Proceedings ACM SIGPLAN '91 Conference on Programming Language Design and Implementation (PLDI), pp. 278-292.
16. Caseau, Y., Josset, F.-X. and Laburthe, F. (1999a) CLAIRE: Combining sets, search and rules to better express algorithms. Proceedings International Conference on Logic Programming (ICLP 99), pp. 245-259. MIT Press.
17. Caseau, Y., Laburthe, F. and Silverstein, G. (1999b) A meta-heuristic factory for vehicle routing problems. In: Jaffar, J. (ed.), Proceedings Fifth International Conference on Principles and Practice of Constraint Programming (CP '99), pp. 144-158.
18. Chailloux, E., Manoury, P. and Pagano, B. (2000) Développement d'applications avec Objective Caml. O'Reilly. In French.
19. Chakravarty, M., Guo, Y. and Köhler, M. (1995) Goffin: Higher-order functions meet concurrent constraints. First International Workshop on Concurrent Constraint Programming. Venice, Italy.
20. Chen, W., Kifer, M. and Warren, D. S. (1993) HiLog: A foundation for higher-order logic programming. Journal of Logic Programming 15(3), 187-230.
21. Clark, K. L. (1987) PARLOG: the language and its applications. In: de Bakker, A. J. Nijman J. W. and Treleaven, P. C. (eds.), Proceedings Conference on Parallel Architectures and Languages Europe (PARLE), Vol. II: Parallel languages. Lecture Notes in Computer Science 259, pp. 30-53. Springer-Verlag.
22. Clark, K. L. and McCabe, F. (1979) The control facilities of IC-Prolog. In: Michie, D. (ed.), Expert Systems in the Micro-electronic Age, pp. 122-149 Edinburgh University Press.
23. Clark, K. L. and Tärnlund, S. (1977) A first order theory of data and programs. Proceedings IFIP Congress, pp. 939-944. North-Holland.
24. Clark, K. L., McCabe, F. G. and Gregory, S. (1982) IC-PROLOG - language features. In: Clark, K. L. and Tärnlund, S. (eds.), Logic Programming, pp. 253-266. Academic Press.
25. 4 report on the algorithmic language Scheme. Lisp Pointers IV(3), 1-55.
26. Colmerauer, A. (1982) PROLOG II reference manual and theoretical model. Technical report, Université Aix-Marseille II, Groupe d'Intelligence Artificielle.
27. Cousineau, G. and Mauny, M. (1998) The Functional Approach to Programming. Cambridge University Press.
28. Darwin, C. (1964) On the Origin of Species by Means of Natural Selection, or the preservation of favoured races in the struggle for life. Harvard University Press (originally John Murray, London, 1859).
29. Davison, A. (1993) A survey of logic programming-based object oriented languages. Research Directions in Concurrent Object-oriented Programming. MIT Press.
30. Duchier, D. (1999) Axiomatizing dependency parsing using set constraints. Sixth Meeting on Mathematics of Language (MOL6).
31. Duchier, D., Kornstaedt, L., Schulte, C. and Smolka, G. (1998) A Higher-order Module Discipline with Separate Compilation, Dynamic Linking, and Pickling. Technical report, Programming Systems Lab, DFKI and Universität des Saarlandes.
32. Duchier, D., Gardent, C. and Niehren, J. (1999a) Concurrent constraint programming in Oz for natural language processing. Lecture notes, http://www.ps.uni-sb.de/~niehren/oz-natural-language-script.html.
33. Duchier, D., Kornstaedt, L., Müller, T., Schulte, C. and Van Roy, P. (1999b) System modules. Technical report, Mozart Consortium. Available at http://www.mozart-oz.org.
34. Foster, I. (1993) Strand and PCN: Two generations of compositional programming languages. Technical report, Preprint MCS-P354-0293, Argonne National Laboratories.
35. Fujise, T., Chikayama, T., Rokusawa, K. and Nakase, A. (1994) KLIC: A portable implementation of KL1. Fifth Generation Computing Systems (FGCS '94), pp. 66-79.
36. Gabbay, D. M., Hogger, C. J. and Robinson, J. A. (eds). (1995) Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 5. Oxford University Press.
37. Garey, M. R. and Johnson, D. S. (1979) Computers and Intractibility. W.H. Freeman.
38. Goldberg, A. and Robson, D. (1983) Smalltalk-80: The language and its implementation. Addison-Wesley.
39. Halstead, R. H. (1985) MultiLisp: A language for concurrent symbolic computation. ACM Transactions on Programming Languages and Systems 7(4), 501-538.
40. Hanus, M. (1994) The integration of functions into logic programming: From theory to practice. Journal of Logic Programming 19/20, 583-628.
41. Hanus, M. (1997) A unified computation model for functional and logic programming. Proceedings 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 97), pp. 80-93.
42. Haridi, S. and Brand, P. (1988) Andorra Prolog - an integration of Prolog and committed-choice languages. Proceedings International Conference on Fifth Generation Computer Systems (FGCS), vol. 2, pp. 745-754. Ohmsha Ltd. and Springer-Verlag.
43. Haridi, S. and Janson, S. (1990) Kernel Andorra Prolog and its computation model. Proceedings 7th International Conference on Logic Programming (ICLP 90), pp. 31-48. MIT Press.
44. Haridi, S., Van Roy, P., Brand, P. and Schulte, C. (1998) Programming languages for distributed applications. New Generation Computing 16(3), 223-261.
45. Haridi, S., Van Roy, P., Brand, P., Mehl, M., Scheidhauer, R. and Smolka, G. (1999) Efficient logic variables for distributed computing. ACM Transactions on Programming Languages and Systems 21(3), 569-626.
46. Harper, R., MacQueen, D. and Milner, R. (1986) Standard ML. Technical report ECS-LFCS-86-2, University of Edinburgh, Department of Computer Science.
47. Henz, M. (1997a). Objects for Concurrent Constraint Programming. The Kluwer International Series in Engineering and Computer Science, vol. 426. Kluwer Academic.
48. Henz, M. (1997b) Objects in Oz. PhD thesis, Universität des Saarlandes, Fachbereich Informatik, Saarbrücken, Germany.
49. Henz, M., Müller, T. and Ng, K. B. (1999) Figaro: Yet another constraint programming library. Workshop on Parallelism and Implementation Technology for Constraint Logic Programming, International Conference on Logic Programming (iclp 99).
50. Hoare, C. A. R. (1987) The emperor's old clothes. In: Ashenhurst, R. L. and Graham, S. (eds.), ACM Turing Award Lectures: The first twenty years. ACM Press.
51. Holmer, B. K., Sano, B., Carlton, M., Van Roy, P. and Despain, A. M. (1996) Design and analysis of hardware for high performance Prolog. Journal of Logic Programming 29, 107-139.
52. Hudak, P., Peyton Jones, S. L., Wadler, P., Boutel, B., Fairnbairn, J., Fasel, J. H., Guzmán, M. M., Hammond, K., Hughes, J., Johnson, T., Kieburtz, R. B., Nikhil, R. S., Partain, W. and Peterson, J. (1992) Report on the programming language Haskell, a non-strict purely functional language. ACM SIGPLAN Notices 27(5), R1-R164.
53. Hughes, J. (1989) Why functional programming matters. The Computer Journal 32(2), 98-107.
54. Institute for New Generation Computer Technology (ed.) (1992) Fifth Generation Computer Systems 1992, Vols. 1, 2, Ohmsha Ltd. and IOS Press.
55. Janson, S. (1994) AKL - a multiparadigm programming language. PhD thesis, Uppsala University and SICS.
56. Janson, S. and Haridi, S. (1991) Programming paradigms of the Andorra Kernel Language. Logic Programming, Proceedings 1991 International Symposium (ISLP), pp. 167-183. MIT Press.
57. Janson, S., Montelius, J. and Haridi, S. (1993) Ports for objects in concurrent logic programs. Research Directions in Concurrent Object-oriented Programming. MIT Press.
58. Kågedal, A., Van Roy, P. and Dumant, B. (1997) Logical State Threads 0.1. SICSTus Prolog package available at http://www.info.uc.ac.be/people/PVR/implementation.html.
59. Koller, A. and Niehren, J. (2000) Constraint programming in computational linguistics. In: Barker-Plummer, D., Beaver, D., van Benthem, J. and di Luzio, P. Scotto (eds.), Proceedings Eighth CSLI Workshop on Logic Language and Computation. CSLI Press.
60. Laburthe, F. and Caseau, Y. (1998) SALSA: A language for search algorithms. In: Matter M. and Puget, J-F. (eds.), Proceedings Fourth International Conference on Principles and Practice of Constraint Programming (CP '98). Lecture Notes in Computer Science 1520, pp. 310-324. Springer-Verlag.
61. Lauer, H. C. and Needham, R. M. (1978) On the duality of operating system structures. Second International Symposium on Operating Systems, IRIA. (Reprinted in Operating Systems Review 13(2), 1979, 3-19.)
62. Lea, D. (2000) Concurrent Programming in Java, 2 ed. Addison-Wesley.
63. Maher, M. (1987) Logic semantics for a class of committed-choice programs. Proceedings Fourth International Conference on Logic Programming (ICLP 87), pp. 858-876. MIT Press.
64. Maier, D. and Warren, D. S. (1988) Computing with Logic: Logic programming with Prolog. Addison-Wesley.
65. Marriott, K. and Stuckey, P. J. (1999) Programming with Constraints: An introduction. MIT Press.
66. Mudie;ller, M., Müller, T. and Van Roy, P. (1995) Multiparadigm programming in Oz. In: Smith, D., Ridoux, O. and Van Roy, P. (eds.), Workshop on the Future of Logic Programming, International Logic Programming Symposium (ILPS 95).
67. McNamara, B. and Samaragdakis, Y. (2000) Functional programming in C++. Proceedings Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), pp. 118-129.
68. Mehl, M. (1999) The Oz Virtual Machine: Records, Transients, and Deep Guards. Doctoral dissertation, Universität des Saarlandes, Im Stadtwald, 66041 Saarbrücken, Germany.
69. Mehl, M., Scheidhauer, R. and Schulte, C. (1995) An abstract machine for Oz. In: Hermenegildo, M. and Swierstra, S. D. (eds.), Programming Languages, Implementations, Logics and Programs, Seventh International Symposium, PLILP'95. Lecture Notes in Computer Science 982, pp. 151-168, Springer-Verlag.
70. Mehl, M., Schulte, C. and Smolka, G. (1998) Futures and by-need synchronization for Oz. Draft, Programming Systems Lab, Universität des Saarlandes.
71. Mehl, M., Müller, T., Schulte, C. and Scheidhauer, R. (2000) Interfacing to C and C++. Technical report, Mozart Consortium. Available at http://www.mozart-oz.org.
72. Milner, R., Tofte, M. and Harper, R. (1990) Definition of Standard ML. MIT Press.
73. Moss, C. (1994) Prolog++: The power of object-oriented and logic programming. Addison-Wesley.
74. Mozart Consortium (2000) The Mozart programming system (Oz 3), version 1.1.0. Available at http://www.mozart-oz.org.
75. Müller, T. (1999) Problem solving with finite set constraints in Oz. A tutorial. Technical report, Mozart Consortium. Available at http://www.mozart-oz.org.
76. Müller, T. (2000) The Mozart constraint extensions tutorial. Technical report, Mozart Consortium. Available at http://www.mozart-oz.org.
77. Nadathur, G. and Miller, D. (1995) Higher-order logic programming. In: Gabbay, D. M., Hogger, C. J. and Robinson, J. A. (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 5. Oxford University Press.
78. Nikhil, R. S. (1994a) ID language reference manual version 90.1. Technical report, Memo 284-2, MIT, Computation Structures Group.
79. Nikhil, R. S. (1994b) An overview of the parallel language Id - a foundation for pH, a parallel dialect of Haskell. Technical report, Digital Equipment Corporation, Cambridge Research Laboratory.
80. Nikhil, R. S. and Arvind. (2001) Implicit Parallel Programming in pH. Morgan Kaufmann.
81. Odersky, M. and Wadler, P. (1997) Pizza into Java: translating theory into practice. Proceedings 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 97), pp. 146-159.
82. Peyton Jones, S. L. and Wadler, P. (1993) Imperative functional programming. Proceedings 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pp. 71-84.
83. Rémy, D. and Vouillon, J. (1998) Objective ML: An effective object-oriented extension to ML. Theory and Practice of Object Systems 4(1), 27-50.
84. Ritchie, D. M. (1987) Reflections on software research. In: Ashenhurst, R. L. and Graham, S. (eds.), ACM Turing Award Lectures: The first twenty years. ACM Press.
85. Robinson, J. A. (1965) A machine-oriented logic based on the resolution principle. Journal of the ACM 12, 23-41.
86. Santos Costa, V., Warren, D. H. D. and Yang, R. (1991) Andorra-I: A parallel Prolog system that transparently exploits both And- and Or-parallelism. Proceedings 3rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP), pp. 83-93.
87. Saraswat, V. and Rinard, M. (1990) Concurrent constraint programming. Proceedings 17th ACM Symposium on Principles of Programming Languages (POPL 90), pp. 232-245.
88. Saraswat, V. A. (1993) Concurrent Constraint Programming. MIT Press.
89. Scheidhauer, R. (1998) Design, Implementierung und Evaluierung einer virtuellen Maschine für Oz. Doctoral dissertation, Universität des Saarlandes, Im Stadtwald, 66041 Saarbrücken, Germany. In German.
90. Schlichting, R. D. and Thomas, V. T. (1991) A multi-paradigm programming language for constructing fault-tolerant, distributed systems. Technical report TR 91-24, University of Arizona, Department of Computer Science.
91. Schulte, C. (1997a) Oz Explorer: A visual constraint programming tool. In: Naish, L. (ed.), Proceedings 14th International Conference on Logic Programming (ICLP 97), pp. 286-300. MIT Press.
92. Schulte, C. (1997b) Programming constraint inference engines.In: Smolka, G. (ed.), Proceedings 3rd International Conference on Principles and Practice of Constraint Programming. Lecture Notes in Computer Science 1330, pp. 519-533. Springer-Verlag.
93. Schulte, C. (1999a) Comparing trailing and copying for constraint programming. In: De Schreye, D. (ed.), Proceedings International Conference on Logic Programming (ICLP 99), pp. 275-289. MIT Press.
94. Schulte, C. (1999b) Oz Explorer-Visual constraint programming support. Technical report, Mozart Consortium. Available at http://www.mozart-oz.org.
95. Schulte, C. (2000a) Parallel search made simple. In: Beldiceanu, N., Harvey, W., Henz, M., Laburthe, F.,Monfroy, E., Müller, T., Perron, L. and Schulte, C. (eds.), Proceedings TRICS: Techniques foR Implementing Constraint programming Systems, a post-conference workshop of CP 2000, pp. 41-57.
96. Schulte, C. (2000b). Programming constraint inference services. Doctoral dissertation, Universität des Saarlandes, Fachbereich Informatik, Saarbrücken, Germany.
97. Schulte, C. (2000c) Programming deep concurrent constraint combinators. In: Pontelli, E. and Costa, V. S. (eds.), Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000. Lecture Notes in Computer Science 1753, pp. 215-229. Springer-Verlag.
98. Schulte, C. (2002) Programming Constraint Services. Lecture Notes in Artificial Intelligence 2302. Springer-Verlag.
99. Schulte, C. and Smolka, G. (1994) Encapsulated search in higher-order concurrent constraint programming. In: Bruynooghe, M. (ed.), Logic Programming: Proceedings International Symposium, pp. 505-520. MIT Press.
100. Schulte, C. and Smolka, G. (1999) Finite domain constraint programming in Oz. A tutorial. Technical report, Mozart Consortium. Available at http://www.mozart-oz.org.
101. Schulte, C., Smolka, G. and Würtz, J. (1994) Encapsulated search and constraint programming in Oz. In: Borning, A. H. (ed.), Second Workshop on Principles and Practice of Constraint Programming. Lecture Notes in Computer Science 874, pp. 134-150. Springer-Verlag.
102. Shapiro, E. (1983) A subset of Concurrent Prolog and its interpreter. Technical report, TR-003. Institute for New Generation Computer Technology (ICOT) Cambridge, MA.
103. Shapiro, E. (ed.) (1987) Concurrent Prolog: Collected papers. Vols. 1-2. MIT Press.
104. Shapiro, E. (1989) The family of concurrent logic programming languages. ACM Computing Surveys 21 (3), 413-510.
105. Smolka, G. (1995a) The definition of Kernel Oz. Constraints: Basics and trends. Lecture Notes in Computer Science 910, pp. 251-292. Springe-Verlag.
106. Smolka, G. (1995b) The Oz programming model. Computer Science Today. Lecture Notes in Computer Science 1000, pp. 324-343. Springer-Verlag.
107. Smolka, G. (1996) Problem solving with constraints and programming. ACM Computing Surveys 28(4es).
108. Smolka, G. and Treinen, R. (1994) Records for logic programming. Journal of Logic Programming 18(3), 229-258.
109. Smolka, G., Schulte, C. Van Roy, P. (1995) PERDIO - Persistent and distributed programming in Oz. BMBF project proposal. Available athttp://www.ps.uni-sb.de.
110. Sommerville, I. (1992) Software Engineering. Addison-Wesley.
111. Steele, G. L. Jr., (1984) Common LISP: The language. Digital Press.
112. Sterling, L. and Shapiro, E. (1986) The Art of Prolog - advanced programming techniques. Series in Logic Programming. The MIT Press.
113. Thompson, K. (1987) Reflections on trusting trust. In: Ashenhurst, R. L. and Graham, S. (eds)., ACM Turing Award Lectures: The first twenty years. ACM Press.
114. Thompson, S. (1999) Haskell: The craft of functional programming, second edition. Addison-Wesley.
115. Tick, E. (1995) The deevolution of concurrent logic programming. Journal of Logic Programming 23(2), 89-123.
116. Ueda, K. (1985) Guarded Horn Clauses. In: Wada, E. (eds.), Logic Programming '85, Proceedings 4th Conference. Lecture Notes in Computer Science 221, pp. 168-179. Springer-Verlag.
117. Van Hentenryck, P. (1999) The OPL Programming Language. MIT Press. (Software availble from ILOG France.)
118. Van Roy, P. (1989a) A useful extension to Prolog's Definite Clause Grammar notation. ACM Sigplan Notices 24(11), 132-134.
119. Van Roy, P. (1989b) VLSI-BAM Diagnostic Generator. Prolog program to generate assembly language diagnostics, Aquarius Project, UC Berkeley, Alvin Despain.
120. Van Roy, P. (1999a) Logic programming in Oz with Mozart. In: De Schreye, D. (ed.), Proceedings International Conference on Logic Programming (ICLP 99), pp. 38-51. MIT Press.
121. Van Roy, P. (1999b) On the separation of concerns in distributed programming: Application to distribution structure and fault tolerance in Mozart. International Workshop on Parallel and Distributed Computing for Symbolic and Irregular Applications (PDSIA 99).
122. Van Roy, P. and Despain, A. (1992) High-performance logic programming with the Aquarius Prolog compiler. IEEE Computer January, 54-68.
123. Van Roy, P. and Haridi, S. (2002) Concepts, techniques, and models of computer programming. Book in progress. Draft available at http://www.info.ucl.ac.be/people/PVR/book.html.
124. Van Roy, P., Mehl, M. and Scheidhauer, R. (1996) Integrating efficient records into concurrent constraint programming. Proceedings 8th International Symposium on Programming Languages, Implementations, Logics, and Programs (PLILP '96). Springer-Verlag.
125. Van Roy, P., Haridi, S., Brand, P., Smolka, G., Mehl, M. and Scheidhauer, R. (1997) Mobile objects in Distributed Oz. ACM Transactions on Programming Languages and Systems, 19(5), 804-851.
126. Van Roy, P., Haridi, S. and Brand, P. (1999) Distributed programming in Mozart - A tutorial introduction. Technical report, Mozart Consortium. Available at http://www.mozart-oz.org.
127. Wadler, P. (1992) The essence of functional programming. Proceedings 19th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 92),pp. 1-14. Invited talk.
128. Wikström, C. (1994) Distributed programming in Erlang. 1st International Symposium on Parallel Symbolic Computation (PASCO 94), pp. 412-421. World Scientific.