next up previous contents
Next: 2.1 基本的なプロセスとプロセス・ネットワークの復習 Up: KLIC 講習会テキスト KL1 言語編 Previous: 1.7.3 証明系としての Prolog と

2 プロセス・ネットワーク

プロセス・ネットワークとしてKL1プログラムを組むことが推奨される理由には 次の二つがある.

本章では, 前章の復習も兼ねて, 基本的なプロセスとプロセス・ネットワークについて概観する. そして計算終了判定と解の回収について簡単に述べた後, プロセス・ネットワーク構築上の注意点について説明する. そして演習問題を行う.





next up previous contents
Next: 2.1 基本的なプロセスとプロセス・ネットワークの復習 Up: KLIC 講習会テキスト KL1 言語編 Previous: 1.7.3 証明系としての Prolog と



KLIC