「並行論理プログラミング」の版間の差分

削除された内容 追加された内容
m 全角マイナスの「-」→長音符号の「ー」
m →‎プロセス: <sub></sub>が正しく表示されない件の修正のみ
55行目:
|同期||共通論理変数が判断に必要なだけ具体化するのを待つ
|-
|停止||<code><nowiki>A :- Guard | True.</nowiki></code>
|-
|プロセス状態の変更||<code><nowiki>A :- Guard | B.</nowiki></code>
|-
|並行したm個のプロセスの生成||<code><nowiki>A :- Guard | B<sub>1</sub>, ..., B<sub>m</sub>.</nowiki></code>
|}