Concurrent logic programming
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 or B1 and … and Bn.
- Comment
- enConcurrent 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 or B1 and … and Bn.
- Has abstract
- enConcurrent 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 or 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 is made to one of the clauses, and execution proceeds 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".
- Hypernym
- Variant
- Is primary topic of
- Concurrent logic programming
- Label
- enConcurrent logic programming
- Link from a Wikipage to an external page
- dl.acm.org/citation.cfm%3Fid=806776
- Link from a Wikipage to another Wikipage
- Category:Logic programming
- Category:Programming paradigms
- Committed choice
- Concurrent constraint logic programming
- Concurrent Prolog
- Ehud Shapiro
- Fifth generation computer
- Guard (computing)
- Horn clauses
- KL1
- Logic programming
- Ministry of International Trade and Industry
- Nondeterministic programming
- SameAs
- Concurrent logic programming
- fGdX
- m.010ls 2c
- Q17008825
- Упореднo логичко програмирање
- 並行論理プログラミング
- Subject
- Category:Logic programming
- Category:Programming paradigms
- WasDerivedFrom
- Concurrent logic programming?oldid=1098176249&ns=0
- WikiPageLength
- 2572
- Wikipage page ID
- 42755423
- Wikipage revision ID
- 1098176249
- WikiPageUsesTemplate
- Template:!
- Template:Mono
- Template:Programming paradigms