Program Composition Notation

PCN (Program Composition Notation)はK. Mani ChandyとStephen TaylorがStrandの設計者であるIan Fosterの協力を受けて設計した、複数のプログラムを並列環境や分散環境で組み合わせるためのプログラミング言語である。それまでの並行論理プログラミング言語の技術要素に、手続型言語の変数やcodice_1をつかったブロック表現などを取り入れたプログラミング言語で、C言語やFortranのプログラムを呼び出すことができた。
概要.
PCN (Program Composition Notation)は並行論理プログラミングでのガードや論理変数による通信と同期の仕組みをそのまま流用しながら、通常の手続型言語であるC言語などの要素を取り入れたプログラミング言語である。言語の基本的な部分はIan FosterやStephen Taylorが設計したStrandの影響を大きく受けているが、その構文はC言語風のcodice_1によるブロック構造を持っている。C言語やFortranのプログラムとPCN自身のプログラムを組み合わせ、並列環境や分散環境で動くより大きなプログラムを構築するために設計された。PCNはアルゴンヌ国立研究所とカリフォルニア工科大学で開発され、UNIXワークステーションやBBN Butterflyなどの商用の並列コンピュータ上にインプリメントされた。
PCNの特徴は以下の通りである。
プログラム例.
可変変数 m の内容がリスト x の要素であれば true(1) を、そうでなければ false(0) を返すプログラムの例を以下に示す。
member(x,m,r)
int m, r;
 x ?= [vlxs], v == m -> r:= true,
 x ?= [vlxs], v != m -> member(xs, m, r)
二分木（バイナリツリー）t の高さ z を求めるプログラムの例を以下に示す。ツリーの要素は {left, val, right} か空のタプルで表現されているものとする。各枝の深さは並行して計算され、定義変数codice_6とcodice_7によりheightの実行とｚの計算との同期が行われる。
height(t,z)
 t ?= {left, val, right} -> {|| height(left, l), height(right, r),
 {? l >= r -> z = 1 + l,
 r >= l -> z = 1 + r