Guarded Horn Clauses
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/10/16 13:48 UTC 版)
Guarded Horn Clauses (GHC)は、1984年末に設計され1985年に発表された並行論理プログラミング言語である[1]。第五世代コンピュータプロジェクトで並列マシンの核言語の検討をしていた上田和紀により設計された。核言語の候補だったConcurrent Prologを分析する過程で問題点を見付け、それを解決するさらに単純化した言語として設計した。
[続きの解説]
「Guarded Horn Clauses」の続きの解説一覧
- 1 Guarded Horn Clausesとは
- 2 Guarded Horn Clausesの概要
- 3 拡張
固有名詞の分類
| プログラミング言語 | Pascal JMax Guarded Horn Clauses ColdFusion APL |
| 並行計算 | STREAMS Occam Guarded Horn Clauses Java ラウンドロビン・スケジューリング |
このページでは「ウィキペディア」からGuarded Horn Clausesを検索した結果を表示しています。
Weblioに収録されているすべての辞書からGuarded Horn Clausesを検索する場合は、下記のリンクをクリックしてください。
全ての辞書からGuarded Horn Clauses を検索
Weblioに収録されているすべての辞書からGuarded Horn Clausesを検索する場合は、下記のリンクをクリックしてください。
全ての辞書からGuarded Horn Clauses を検索 - Guarded Horn Clausesのページへのリンク
