Talk:Concurrent constraint logic programming: Difference between revisions

Revision as of 19:34, 29 August 2007

Latest revision as of 21:34, 27 January 2024

(7 intermediate revisions by 6 users not shown)

Line 1:

{{WikiProject banner shell|class=Start|

There should be some discussion of concrete languages supporting this paradigm, both historical (e.g. Flat Concurrent Prolog), and current (e.g. [[Oz programming language|Oz]] and [[Alice programming language|Alice]]). --[[User:DavidHopwood|DavidHopwood]] 19:33, 29 August 2007 (UTC)

{{WikiProject Computer science|importance=low}}

}}

There should be some discussion of concrete languages supporting this paradigm, both historical (e.g. [[Flat Concurrent Prolog]]), and current (e.g. [[Oz programming language|Oz]] and [[Alice programming language|Alice]]). --[[User:DavidHopwood|DavidHopwood]] 19:33, 29 August 2007 (UTC)

''Semantically, concurrent constraint logic programming differs from its non-concurrent versions because a goal evaluation is intended to realize a concurrent process rather than finding a solution to a problem. Most notably, this difference affects how the interpreter behaves when more than one clause is applicable: non-concurrent constraint logic programming recursively tries all clauses; concurrent constraint logic programming chooses only one. This is the most evident effect of an intended directionality of the interpreter, which never revise a choice it has previously taken.''

:This seems unnecessarily restrictive. For instance, Oz does recursively try all clauses in the worst case, and Oz is clearly a concurrent constraint logic language. --[[User:David-Sarah Hopwood|David-Sarah Hopwood ⚥]] ([[User talk:David-Sarah Hopwood|talk]]) 19:27, 3 December 2009 (UTC)

This title should be "Concurrent constraint programming", like

*Saraswat, V. A., and Rinard M. ''Concurrent Constraint Programming''. In Proceedings of Seventeenth ACM Symposium on Principles of Programming Languages, January 1990

*Saraswat, V. A., Rinard M. and P. Panangaden. ''Semantic Foundation of Concurrent Constraint Programming''. In Proceedings of 18th ACM Symposium on Principles of Programming Languages, 1991

--[[User:PatricH Winston]] 06:16, 2 Feb 2010 (UTC)

== This article has the wrong title ==

The article is actually about concurrent logic programming, with only a small part concerned with concurrent constraint logic programming. It would make more sense to merge it with the new [[Concurrent logic programming]] article, with a subsection on concurrent constraint logic programming. [[User:Logperson|Logperson]] ([[User talk:Logperson|talk]]) 20:17, 14 May 2014 (UTC)

== This article has no examples ==

Without examples, the article gives the impression that concurrent constraint logic programming is useless. [[Special:Contributions/86.186.119.166|86.186.119.166]] ([[User talk:86.186.119.166|talk]]) 15:23, 27 July 2016 (UTC)