1.2.1 プログラムの形式と基本実行機構

最初に KL1 のプログラムの形式と, 基本的な実行機構について, 簡単な例を 用いて解説する.

• 簡単なプログラム
• プログラムの実行
• ユニフィケーション
  • ガード・ユニフィケーション
  • ボディ・ユニフィケーション
• 節の形式と基本実行機構
• 並列実行, 通信, 同期の機構
• 実行機構についての補足
  • 複数の節が使えたら?
  • どの節も使えなかったら?
  • ボディ・ユニフィケーションで, 既に値の決まっている変数の値 をまた決めようとしたら?