e/ja/並行論理プログラミング

Information
instance of	e/Formal methods

Meaning
Japanese
has gloss	jpn: 並行論理プログラミング(Concurrent Logic Programming)は、論理プログラミングにおける並列性および論理プログラミングによる並行処理の記述の研究から生まれた、並行プログラミングのためのパラダイムである。論理プログラミングでは述語論理式をゴール(Goal)の書き換え規則とみなし、ゴールの書き換えによって処理を行う。それに対し、並行論理プログラミングでは各ゴールをプロセスとみなして並行に書き換えを行い、ゴール間で共有する論理変数を通信チャネルとして情報交換や同期をおこなう。
lexicalization	jpn: 並行論理プログラミング