Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Concurrent_constraint_logic_programming> ?p ?o }
Showing triples 1 to 50 of
50
with 100 triples per page.
- Concurrent_constraint_logic_programming abstract "Concurrent constraint logic programming is a version of constraint logic programming aimed primarily at programming concurrent processes rather than (or in addition to) solving constraint satisfaction problems. Goals in constraint logic programming are evaluated concurrently; a concurrent process is therefore programmed as the evaluation of a goal by the interpreter.Syntactically, concurrent constraints logic programs are similar to non-concurrent programs, the only exception being that clauses include guards, which are constraints that may block the applicability of the clause under some conditions. 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. Other effects of this are the semantical possibility of having a goal that cannot be proved while the whole evaluation does not fail, and a particular way for equating a goal and a clause head.Constraint handling rules can be seen as a form of concurrent constraint logic programming, but are used for programming a constraint simplifier or solver rather than concurrent processes.".
- Concurrent_constraint_logic_programming wikiPageExternalLink residuation.
- Concurrent_constraint_logic_programming wikiPageID "4467477".
- Concurrent_constraint_logic_programming wikiPageLength "10555".
- Concurrent_constraint_logic_programming wikiPageOutDegree "24".
- Concurrent_constraint_logic_programming wikiPageRevisionID "647729042".
- Concurrent_constraint_logic_programming wikiPageWikiLink Alice_(programming_language).
- Concurrent_constraint_logic_programming wikiPageWikiLink Category:Concurrent_computing.
- Concurrent_constraint_logic_programming wikiPageWikiLink Category:Constraint_programming.
- Concurrent_constraint_logic_programming wikiPageWikiLink Category:Logic_programming.
- Concurrent_constraint_logic_programming wikiPageWikiLink Category:Programming_paradigms.
- Concurrent_constraint_logic_programming wikiPageWikiLink Concurrent_logic_programming.
- Concurrent_constraint_logic_programming wikiPageWikiLink Constraint_Handling_Rules.
- Concurrent_constraint_logic_programming wikiPageWikiLink Constraint_logic_programming.
- Concurrent_constraint_logic_programming wikiPageWikiLink Constraint_satisfaction_problem.
- Concurrent_constraint_logic_programming wikiPageWikiLink Curry_(programming_language).
- Concurrent_constraint_logic_programming wikiPageWikiLink Deadlock.
- Concurrent_constraint_logic_programming wikiPageWikiLink Guard_(computer_science).
- Concurrent_constraint_logic_programming wikiPageWikiLink Interpreter_(computing).
- Concurrent_constraint_logic_programming wikiPageWikiLink Janus_(programming_language).
- Concurrent_constraint_logic_programming wikiPageWikiLink Logical_consequence.
- Concurrent_constraint_logic_programming wikiPageWikiLink Michael_J._Maher.
- Concurrent_constraint_logic_programming wikiPageWikiLink Parallel_computing.
- Concurrent_constraint_logic_programming wikiPageWikiLink Recursion.
- Concurrent_constraint_logic_programming wikiPageWikiLink Stack_(abstract_data_type).
- Concurrent_constraint_logic_programming wikiPageWikiLink ToonTalk.
- Concurrent_constraint_logic_programming wikiPageWikiLink Vijay_A._Saraswat.
- Concurrent_constraint_logic_programming wikiPageWikiLinkText "Concurrent constraint logic programming".
- Concurrent_constraint_logic_programming wikiPageWikiLinkText "Concurrent constraint logic".
- Concurrent_constraint_logic_programming wikiPageWikiLinkText "concurrent constraint logic programming".
- Concurrent_constraint_logic_programming wikiPageWikiLinkText "concurrent constraint logic".
- Concurrent_constraint_logic_programming wikiPageWikiLinkText "concurrent constraint programming".
- Concurrent_constraint_logic_programming wikiPageWikiLinkText "concurrent constraint".
- Concurrent_constraint_logic_programming wikiPageUsesTemplate Template:Cite_book.
- Concurrent_constraint_logic_programming wikiPageUsesTemplate Template:Cite_journal.
- Concurrent_constraint_logic_programming subject Category:Concurrent_computing.
- Concurrent_constraint_logic_programming subject Category:Constraint_programming.
- Concurrent_constraint_logic_programming subject Category:Logic_programming.
- Concurrent_constraint_logic_programming subject Category:Programming_paradigms.
- Concurrent_constraint_logic_programming hypernym Version.
- Concurrent_constraint_logic_programming type Work.
- Concurrent_constraint_logic_programming comment "Concurrent constraint logic programming is a version of constraint logic programming aimed primarily at programming concurrent processes rather than (or in addition to) solving constraint satisfaction problems.".
- Concurrent_constraint_logic_programming label "Concurrent constraint logic programming".
- Concurrent_constraint_logic_programming sameAs Q5159106.
- Concurrent_constraint_logic_programming sameAs 並行制約プログラミング.
- Concurrent_constraint_logic_programming sameAs m.0c420w.
- Concurrent_constraint_logic_programming sameAs Упоредно_принудно_логичко_програмирање.
- Concurrent_constraint_logic_programming sameAs Q5159106.
- Concurrent_constraint_logic_programming wasDerivedFrom Concurrent_constraint_logic_programming?oldid=647729042.
- Concurrent_constraint_logic_programming isPrimaryTopicOf Concurrent_constraint_logic_programming.