並行論理プログラミング

読み方、または別称：

Concurrent Logic Programming

並行論理プログラミングとは

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

• 出典: フリー百科事典『ウィキペディア（Wikipedia）』
• [ 並行論理プログラミングの改定履歴 ]