>>304
Prologの定義は超時間的?なものだからその解釈は自然ですね。
ただ、この話では、
・ 外延的な表記
・ 他の言語のデータベース定義がテーブルや配列等、右方向に
伸びる形式で表記されることが多い。
の二点を強調したかった。うまく説明できそうになかったので
じんま疹で誤魔化したらすぐに批判が来た。
リスト形式で格納する案は
?- ・・・,身長(L),( member([A,B],L),foo(A,B),・・・
でfooに論理的な解釈が来る。もちろん、
?- ・・・,身長(L),foo(L,Y), ・・・の場合もある。
Lを読む気はなく、fooでデータベースの解釈を述べる定義となる。
それに対し、ここで外延的な表記と言ったのはこれ以上ルールとして
述べられない原初的な情報。それを強調したコードを書きたい。

(ちょっと長くなるから一旦切る)