>>113 SQL言語を遅延評価付の制約論理型言語に置き直す。
そうすれば、このスレの解も決まる。