並行論理プログラミング
並行論理プログラミングから派生したプログラミング言語のいくつかを以下に示す。
AKL (Andorra Kernel Language/Agent Kernel Language)
D.H.Warrenの提案したAND並列実行とOR並列実行の統合モデルであるAndorra Modelをもとにしたプログラミング言語。並行処理を記述しやすいGHC等の言語とPrologの探索機能とをあわせ、並行制約プログラミング言語としての機能を追加した。
Mozart/Oz
AKLのアイデアをもとに、オブジェクト指向や関数型プログラミング、制約プログラミングなどの考え方を組み合わせたマルチパラダイム言語処理系とその言語モデル。
PCN (Program Composition Notation)
Strandの研究者らが設計した、複数のプログラムを並列環境や分散環境で組み合わせるための言語。並行論理プログラミング言語に手続型言語の変数や{}によるブロック表現などを取り入れたプログラミング言語で、C言語やFortranのプログラムを呼び出すことができた。
CC++
C++に並行論理プログラミングでの論理変数と同じような機能を持つsync変数やsyncオブジェクトなどを追加したもの。