>>900
日報 :- 昨日(X),日報(X).
だって全然問題ないんじゃないですか。Xって論理変数を
用いて定義せよっていう仕様じゃないから、仕様の
なかにある語彙を用いて定義してみただけですから。