Relational Languageとは? わかりやすく解説

Relational Language

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/10/03 01:23 UTC 版)

並行論理プログラミング」の記事における「Relational Language」の解説

Relational LanguageはClarkGregory1981年提案した言語で、その後並行論理プログラミング言語基礎となった。HoareのCSP考え方をIC-Prologに取り入れて拡張し、コミッティッド・チョイスによる非決定的な節の選択機構持っていた。またストリームによる通信を行うことができた。しかしガード中のゴール評価時に変数含んでならないことや、通信にはリスト用いたストリームしか使えないなど、制限多かった1つ述語入出力モード宣言複数指定でき、また並列実行逐次実行両方サポートするなど、言語仕様複雑だった入出力モード宣言制約厳格に守る必要があり、1つストリーム入力出力双方向に使う不完全メッセージ技法なども使うことができなかった。言語の特徴を以下にまとめる。 * 同期表現方法 モード宣言(厳格) (述語単位指定)* 制約入出力 Blocking AskとEventual Tell* プロセス間通信 ストリーム* 実行形態 並行実行逐次実行* その他の特徴 不完全メッセージ使用不可言語仕様が非常に複雑、制限が多い

※この「Relational Language」の解説は、「並行論理プログラミング」の解説の一部です。
「Relational Language」を含む「並行論理プログラミング」の記事については、「並行論理プログラミング」の概要を参照ください。

ウィキペディア小見出し辞書の「Relational Language」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「Relational Language」の関連用語

Relational Languageのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



Relational Languageのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの並行論理プログラミング (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS