Parallel and distributed execution of constraint programs
ACM SIGSOFT Software Engineering Notes
Parallel execution of prolog programs: a survey
ACM Transactions on Programming Languages and Systems (TOPLAS)
Logic programming languages for databases and the web
A 25-year perspective on logic programming
Hi-index | 0.00 |
Recent research has placed emphasis on the need for support for concurrency in the context of programming for the World-Wide Web (W3). Frameworks like WebL, LogicWeb, and Jinny make concurrency a key component of their W3 support. In this work we analyze the concurrent capabilities of CLP(WEB), a W3-oriented logic-based concurrent framework. CLP(WEB) offers two forms of concurrency, or-concurrency and and-concurrency. In this paper we illustrate how these forms of concurrency have been applied to tackle problems arising in W3 programming. We also show how the concurrent features proposed in other W3 programming frameworks are subsumed by CLP(WEB).