>>772
% Prolog 書き直しました。一部目標の順序も変更。

現在、都市に住む人びとは、真の暗闇、真の静寂を知らない(_現在,_人びと,_都市,_真の暗闇,_真の静寂) :-
　　現在(_人びと,_現在),
　　都市に住む(_人びと,_都市),
　　人びと(_人びと),
　　真の暗闇(_真の暗闇),
　　知らない(_人びと,_真の暗闇),
　　真の静寂(_真の静寂),
　　知らない(_人びと,_真の静寂).

真の暗闇(_真の暗闇) :- 暗闇(_真の暗闇),真の(_真の暗闇).

真の静寂(_真の静寂) :- 静寂(_真の静寂),真の(_真の静寂).

現在(_人びと,_現在) :- 現在(_現在),生きる(_人びと,_現在).

都市に住む(_人びと,_都市) :- 都市(_都市).