## Concurrent Logic/Constraint Programming: The Next 10 Years (1999)

Citations: | 11 - 7 self |

### BibTeX

@INPROCEEDINGS{Ueda99concurrentlogic/constraint,

author = {Kazunori Ueda},

title = {Concurrent Logic/Constraint Programming: The Next 10 Years},

booktitle = {},

year = {1999},

pages = {53--71},

publisher = {Springer-Verlag}

}

### OpenURL

### Abstract

Concurrent logic/constraint programming is a simple and elegant formalism of concurrency that can potentially address a lot of important future applications including parallel, distributed, and intelligent systems. Its basic concept has been extremely stable and has allowed e#cient implementations. However, its uniqueness makes this paradigm rather di#cult to appreciate. Many people consider concurrent logic/constraint programming to have rather little to do with the rest of logic programming. There is certainly a fundamental di#erence in the view of computation, but careful study of the di#erences will lead to the understanding and the enhancing of the whole logic programming paradigm by an analytic approach. As a model of concurrency, concurrent logic/constraint programming has its own challenges to share with other formalisms of concurrency as well. They are: (1) a counterpart of #-calculus in the field of concurrency, (2) a common platform for various non-sequential forms of computing, and (3) type systems that cover both logical and physical aspects of computation.