Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Logic_programming_language
|
| gptkbp:abbreviation |
gptkb:GHC
|
| gptkbp:countryOfOrigin |
gptkb:Japan
|
| gptkbp:designedBy |
gptkb:Kazunori_Ueda
|
| gptkbp:feature |
Concurrency
Synchronization primitives Committed choice nondeterminism Guarded commands |
| gptkbp:influenced |
gptkb:Concurrent_Prolog
|
| gptkbp:influencedBy |
gptkb:Prolog
Concurrent logic programming |
| gptkbp:introducedIn |
1985
|
| gptkbp:notableFor |
gptkb:Flat_GHC
gptkb:KLIC |
| gptkbp:paradigm |
Logic programming
Concurrent programming |
| gptkbp:relatedTo |
gptkb:Flat_Concurrent_Prolog
|
| gptkbp:usedFor |
gptkb:artificial_intelligence
Knowledge representation Parallel computation |
| gptkbp:bfsParent |
gptkb:Concurrent_Prolog
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
Guarded Horn Clauses
|