Das Tratsch-Problem der Chatoren

Miniwelt "Tratsch"

"Die Leute vom Planeten Chator schreiben gern Schlechtes übereinander. Wer vielen über andere Schlechtes schreibt, gilt als besonders charmant. Aber natürlich nur, wenn die Kompromittierten nichts davon erfahren. Chatonen schreiben nur an Leute, die ihnen sympathisch sind. Doch die können den Tratsch weitertragen, und eventuell genau an den Falschen. Ein Chatone muss also gut aufpassen, dass er keinen Charmefehler macht. Dieses Missgeschick passierte unlängst Ator, als er Btor Schlechtes über Dtor schrieb. Zu dumm: Dtor ist dem Ctor sympathisch, der wiederum Btor sympathisch ist. Und so landete der Tratsch bei Dtor, der über Ator verständlicherweise sehr verärgert war. Dies hätte Ator mit ein wenig Übersicht vermeiden können, denn schließlich wissen alle Chatonen voneinander, wer wem sympathisch ist." (Quelle: Bundeswettbewerb Informatik 2004/2005 - 1. Runde)

Aufgabe 1

Entwickle ein geeignetes Logikprogramm zur Lösung des Tratsch-Problems. Eine mögliche Anfrage könnte so aussehen.

% Anfrage: Wer darf an wen etwas Schlechtes über Btor schreiben?
?- darf_tratschen_wer_anwen_ueberwen(X, Y, b).

X = c
Y = d ;

X = c
Y = g ;

X = d
Y = c ;

X = f
Y = g ;

X = g
Y = h ;

X = h
Y = d ;

No

Benutze die erzielten Ergebnisse zur Lösung des Graphenproblems.