Hello Prolog World! <論理パズル「三人の女神」>
出展 BlueBacks 【論理パズル「出しっこ問題」傑作選 】小野田博一著

このページのソース表示

A,B,C三人の女神が次のように語っていますが
最も美しい女神のみが真実を述べています。 それは誰?
女神A:「最も美しいのは

女神B:「最も美しいのは

女神C:「最も美しいのは

推論過程説明

次の文字を利用して各々の主張を入力してください。

A B C ( ) かつ または ではない です ならば(⇒) であれば(⇔)

それはBです