Next:
簡単なプログラム
Up:
1.2 構文と実行機構の基本
Previous:
1.2 構文と実行機構の基本
1.2.1 プログラムの形式と基本実行機構
最初に KL1 のプログラムの形式と, 基本的な実行機構について, 簡単な例を 用いて解説する.
簡単なプログラム
プログラムの実行
ユニフィケーション
ガード・ユニフィケーション
ボディ・ユニフィケーション
節の形式と基本実行機構
並列実行, 通信, 同期の機構
実行機構についての補足
複数の節が使えたら?
どの節も使えなかったら?
ボディ・ユニフィケーションで, 既に値の決まっている変数の値 をまた決めようとしたら?
Next:
簡単なプログラム
Up:
1.2 構文と実行機構の基本
Previous:
1.2 構文と実行機構の基本
KLIC