02.07. Kreuzworträtsel (Zusatzaufgabe)

Löse das Rätsel mit Hilfe der folgenden Wissendatenbank in Prolog:

% word/1 + |word|
% word(word, characters...)
% Representing a lexicon containing these words.
word(pluto, p,l,u,t,o).
word(mars, m,a,r,s).
word(mond, m,o,n,d).
word(saturn, s,a,t,u,r,n).
word(apollo, a,p,o,l,l,o).

Implementiere hierzu das Prädikat:

% solve/5
% solve(Word1, ..., Word5)
solve(W1, W2, W3, W4, W5) :- ....

Dabei gibt der Regelkörper vor, welche Buchstaben in welchen Wörtern gleich sind (entsprechend der Grafik oben).