最後、時間がなくて解けなかった問題について解いてみました。 ３－７ セビリアの理髪師 まず、5人の集合を引数に持つ述語を次のように定義する。 がかつらをかぶる。 また、理髪師をとする。 どの2人も同時にかつらをかぶらない日が存在するというのは 次に…