Guarded Horn Clauses
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/10/16 13:48 UTC 版)
Guarded Horn Clauses (GHC)は、1984年末に設計され1985年に発表された並行論理プログラミング言語である[1]。第五世代コンピュータプロジェクトで並列マシンの核言語の検討をしていた上田和紀により設計された。核言語の候補だったConcurrent Prologを分析する過程で問題点を見付け、それを解決するさらに単純化した言語として設計した。
- 1 Guarded Horn Clausesとは
- 2 Guarded Horn Clausesの概要
- 3 拡張
Guarded Horn Clauses
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/08/26 09:42 UTC 版)
「KL1」の記事における「Guarded Horn Clauses」の解説
詳細は「Guarded Horn Clauses 」を参照 Guarded Horn Clauses (GHC) は並行プログラミングのためのプログラミング言語で、論理変数を介して通信を行う複数の軽量プロセスのネットワークとしてプログラムを記述する。多くの並行プログラミング言語が逐次処理言語に並行実行の機能を追加したものなのに対して、GHCは並行実行が基本で、並行処理を素直に記述できる。 GHCではホーン節にガードを導入した以下のような規則(Clause)の集まりでプログラムを記述する。"|"はコミット演算子と呼ばれる。G はガード部、B はボディ部と呼ばれる。Head、G、Bはそれぞれ原子論理式である。ガード部の条件がない場合、ガード部とコミット演算子は省略できる。 Head :- G1, ..., Gn| B1, ..., Bm. (n,m≧0) HeadとG1, ..., Gnはプロセス書き換えのための条件、B1, ..., Bmは書き換え後のプロセスを表す。生成されたプロセスは全て並行に実行される。また、各プロセスごとの書き換え条件のチェックも複数の節で並行に実行してよく、コミット時にただ1つの節が選択される(コミッティッド・チョイス)。prologと異なりバックトラックの機能はない。 KL1のベースであるFlat GHCは、GHCのガード部を組み込み述語のみに制限したもので、ガードがアトミックに動作できるため、プログラムの長さは増加するが効率のよい処理系の実装が可能になる。
※この「Guarded Horn Clauses」の解説は、「KL1」の解説の一部です。
「Guarded Horn Clauses」を含む「KL1」の記事については、「KL1」の概要を参照ください。
固有名詞の分類
プログラミング言語 | Pascal JMax Guarded Horn Clauses ColdFusion APL |
並行計算 | STREAMS Occam Guarded Horn Clauses Java ラウンドロビン・スケジューリング |
- Guarded_Horn_Clausesのページへのリンク