04.15. Logikaufgabe (Zusatzaufgabe)

Eine kleine Geschichte
Es waren einmal ein Prinz und eine Prinzessin.
Prinz: „Ich will dich heiraten.“
Prinzessin: „Ich heirate dich nur, wenn du eine Logikaufgabe lösen kannst.“
Prinz: „Welche?“
Prinzessin: „Vor dir liegen 3 Umschläge, in einem ist mein Bild. 
Nur eine Aussage auf den Umschlägen ist wahr. Wo ist mein Bild?“

Umschlag A: „Das Bild ist in diesem Umschlag.“
Umschlag B: „Das Bild ist nicht in diesem Umschlag.“
Umschlag C: „Das Bild ist nicht in Umschlag A.“

Erstelle hierzu ein eigenes Prolog Programm und teste dieses eigenständig.

Lösungshinweis
Sie können den eingebauten Operator not/1 verwenden. not/1 ist beweisbar, wenn das Argument nicht beweisbar ist und umgekehrt.

?- not(member(a,[a,b,c])).
false.
?- not(member(a,[b,c])).
true.