みなさんは間違っています。
神はPrologで世界を書いたのです。
世界にあってPrologで書けないものはないのだから・・・。