空リスト

prolog には構造体なんてものはなくって、基本的にアトムもしくは数値もしくはそれらが述語で組み合わさったもの、を述語でひたすら組み合わせていくしかない。
データ型としてリストもありそうな気がするけれど、これも実は '.' という述語で結び付けられまくってるだけ…
ということろで気づくんだけれど、じゃあ空リストっていうのは一体何なんだろうか。atom/1 がいうにはアトムらしい。そうか…そうか。
それでも処理系さんの気持ち的にはリストはあるらしい。論理っていうのは大変だなあ。

追記：述語じゃなくて functor だ…