Concurrent Constraint Programming
GPTKB entity
Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:programming_language
|
| gptkbp:abbreviation |
gptkb:CCP
|
| gptkbp:application |
gptkb:artificial_intelligence
distributed systems multi-agent systems |
| gptkbp:basedOn |
concurrent programming
constraint logic programming |
| gptkbp:describedBy |
Vijay Saraswat's PhD thesis
|
| gptkbp:feature |
concurrent execution
constraint store synchronization via constraints |
| gptkbp:hasModel |
ask operation
tell operation |
| gptkbp:hasSemantics |
operational semantics
declarative semantics |
| https://www.w3.org/2000/01/rdf-schema#label |
Concurrent Constraint Programming
|
| gptkbp:introduced |
gptkb:Vijay_Saraswat
|
| gptkbp:introducedIn |
1989
|
| gptkbp:relatedTo |
Logic programming
Linda (coordination language) Constraint Handling Rules |
| gptkbp:bfsParent |
gptkb:Vijay_Saraswat
|
| gptkbp:bfsLayer |
7
|