1.3 データとシンタクス

ここまでの例では, 具体的なデータとしては 0, 1 などの整数値しか出てこな かった. KL1 では他にもさまざまな型のデータが扱える. 本章では KL1 の 基本的なデータ型とそれらに対する操作について, 簡単に述べる.

• 1.3.1 論理変数
  • 変数はメモリ番地ではない
  • 変数に型はない
• 1.3.2 アトミックなデータ
  • 記号アトム
  • 数値アトム
• 1.3.3 構造を持ったデータ
  • 未完成データ構造
  • 構造データのユニフィケーション
    • ガード・ユニフィケーション
    • ボディ・ユニフィケーション
• 1.3.4 略記法
  • ガード・ユニフィケーションのヘッドでの表記
  • ゴール true の省略