1.2 構文と実行機構の基本

• 1.2.1 プログラムの形式と基本実行機構
  • 簡単なプログラム
  • プログラムの実行
  • ユニフィケーション
    • ガード・ユニフィケーション
    • ボディ・ユニフィケーション
  • 節の形式と基本実行機構
  • 並列実行, 通信, 同期の機構
  • 実行機構についての補足
    • 複数の節が使えたら?
    • どの節も使えなかったら?
    • ボディ・ユニフィケーションで, 既に値の決まっている変数の値 をまた決めようとしたら?
• 1.2.2 他のプログラム言語と比べて
  • 手続き型言語と KL1
  • 関数型言語と KL1
  • 他の論理型言語と KL1
    • Prolog と KL1
    • 他の並列論理型言語と KL1
  • オブジェクト指向言語と KL1