ファンクタやコンスのように任意の型の要素を持てる構造データの場合, 要素
の値がまだ決まっていないことがあっても良い. このような構造を 未完
成データ構造
(incomplete
data structure) と呼ぶ.
未完成データ構造の値の決まっていない要素は, 変数として書き表わす. た
とえば ``[a|X]'' は car がアトム a, cdr が X という名前を持つ変
数であるようなコンスを表す.
未完成データ構造の中の変数も, 構造体全体を持っているゴールと別のゴール で共有することができる. 変数の値を決めるのは別のゴールの方であっても良 い. つまり, 誰か他の人が詳細を決めることになっているデータ構造, とい うことになる. こうしたデータ構造は KL1 のプログラミング・テクニックの さまざまな局面で重要な働きをつとめ, 柔軟なプログラミング・スタイルの源 となっている.