Jump to content

Talk:Concurrent constraint logic programming

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by 86.186.119.166 (talk) at 15:24, 27 July 2016 (Without examples, the article gives the impression that concurrent constraint logic programming is useless.). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
WikiProject iconComputing Unassessed
WikiProject iconThis article is within the scope of WikiProject Computing, a collaborative effort to improve the coverage of computers, computing, and information technology on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
???This article has not yet received a rating on Wikipedia's content assessment scale.
???This article has not yet received a rating on the project's importance scale.

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

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. --David-Sarah Hopwood ⚥ (talk) 19:27, 3 December 2009 (UTC)[reply]

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. Logperson (talk) 20:17, 14 May 2014 (UTC)[reply]

This article has no examples

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