Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Concurrent_logic_programming> ?p ?o }
Showing triples 1 to 38 of
38
with 100 triples per page.
- Concurrent_logic_programming abstract "Concurrent logic programming is a variant of logic programming in which programs are sets of guarded Horn clauses of the form:H :- G1, …, Gn | B1, …, Bn.The conjunction G1, … , Gn is called the guard of the clause, and | is the commitment operator. Declaratively, guarded Horn clauses are read as ordinary logical implications:H if G1 and … and Gn and B1 and … and Bn.However, procedurally, when there are several clauses whose heads H match a given goal, then all of the clauses are executed in parallel, checking whether their guards G1, … , Gn hold. If the guards of more than one clause hold, then a committed choice is made to one of the clauses, and execution proceedes with the subgoals B1, …, Bn of the chosen clause. These subgoals can also be executed in parallel. Thus concurrent logic programming implements a form of "don't care nondeterminism", ratherthan "don't know nondeterminism".".
- Concurrent_logic_programming wikiPageID "42755423".
- Concurrent_logic_programming wikiPageLength "2513".
- Concurrent_logic_programming wikiPageOutDegree "15".
- Concurrent_logic_programming wikiPageRevisionID "669830346".
- Concurrent_logic_programming wikiPageWikiLink Category:Logic_programming.
- Concurrent_logic_programming wikiPageWikiLink Category:Programming_paradigms.
- Concurrent_logic_programming wikiPageWikiLink Committed_choice.
- Concurrent_logic_programming wikiPageWikiLink Concurrent_Prolog.
- Concurrent_logic_programming wikiPageWikiLink Concurrent_constraint_logic_programming.
- Concurrent_logic_programming wikiPageWikiLink Ehud_Shapiro.
- Concurrent_logic_programming wikiPageWikiLink Fifth_generation_computer.
- Concurrent_logic_programming wikiPageWikiLink GHC.
- Concurrent_logic_programming wikiPageWikiLink Guard_(computer_science).
- Concurrent_logic_programming wikiPageWikiLink Guard_(computing).
- Concurrent_logic_programming wikiPageWikiLink Horn_clause.
- Concurrent_logic_programming wikiPageWikiLink Horn_clauses.
- Concurrent_logic_programming wikiPageWikiLink KL1.
- Concurrent_logic_programming wikiPageWikiLink Logic_Programming.
- Concurrent_logic_programming wikiPageWikiLink Logic_programming.
- Concurrent_logic_programming wikiPageWikiLink Ministry_of_International_Trade_and_Industry.
- Concurrent_logic_programming wikiPageWikiLink Nondeterministic_programming.
- Concurrent_logic_programming wikiPageWikiLinkText "Concurrent logic programming".
- Concurrent_logic_programming wikiPageWikiLinkText "Concurrent logic".
- Concurrent_logic_programming wikiPageWikiLinkText "concurrent logic programming languages".
- Concurrent_logic_programming wikiPageWikiLinkText "concurrent logic programming".
- Concurrent_logic_programming hasPhotoCollection Concurrent_logic_programming.
- Concurrent_logic_programming subject Category:Logic_programming.
- Concurrent_logic_programming subject Category:Programming_paradigms.
- Concurrent_logic_programming hypernym Variant.
- Concurrent_logic_programming comment "Concurrent logic programming is a variant of logic programming in which programs are sets of guarded Horn clauses of the form:H :- G1, …, Gn | B1, …, Bn.The conjunction G1, … , Gn is called the guard of the clause, and | is the commitment operator.".
- Concurrent_logic_programming label "Concurrent logic programming".
- Concurrent_logic_programming sameAs 並行論理プログラミング.
- Concurrent_logic_programming sameAs m.010ls_2c.
- Concurrent_logic_programming sameAs Q17008825.
- Concurrent_logic_programming sameAs Q17008825.
- Concurrent_logic_programming wasDerivedFrom Concurrent_logic_programming?oldid=669830346.
- Concurrent_logic_programming isPrimaryTopicOf Concurrent_logic_programming.