スロット・変数・定数・リテラル・コネクティブ

  • スロットは、位置〈ポジション | 出現〉だけを持ち、実体のないプレースホルダー
  • 定数は、スロットを記号で埋めた〈置換した〉セル。内側の束縛。
  • 変数は、スロットを記号で埋めた〈置換した〉セル。外側の束縛。
  • リテラルは、スロットをシング〈実体〉で埋めたセル。
  • コネクティブは、文法〈ドクトリン〉で与えられれるリテラル。

スロットを穴〈hole〉ともいう。