私はHaskellはほとんど知らないのだが、遅延評価があると聞いた。

事務処理屋でProlog=データベースという使い方がほとんどで、
データベースの参照順序を、できうるならば
datebase(A,B,C,X), ・・・ ,hoge(_1,A),hoge1(_2,B),hoge2(_3,C), ・・・
と書きたい。これでA,B,Cの具体化を待ってdatabase(A,B,C,X)を実行したい。
Prologでこれが可能になる見込みはないかな。