計算の分散には実行ノード指定のためのプラグマを用いる. 指定には
のような形式でボディ・ゴールにプラグマを付加する. ここで指定する ノード (node) とは, 個別のプロセサ, または内部では自動負荷分 散するようなプロセサの集まりである. 現在のところ, 指定にはノードにつ いた一連番号を用いている.
ゴール分散を用いる具体例をあげると, たとえば以下のようになる.
この例では, 次々に到着するメッセージについての処理 ( q) を, 順番 に各ノードに分散しているわけである. 何も指定のないゴール (この場合な ら足し算と再帰呼び出しのゴール) は, 元のゴールを実行したのと同じノード で実行する.p([One|Rest],N,State) :- q(One,State,New)@node(N), N1:=N+1, p(Rest,N1,New).