mistnost(a).
mistnost(b).
mistnost(c).
mistnost(d).
mistnost(e).
mistnost(f).
mistnost(g).
mistnost(h).
mistnost(i).
mistnost(j).
mistnost(k).

sousedi(a,b).
sousedi(b,c).
sousedi(c,d).
sousedi(c,f).
sousedi(b,e).
sousedi(a,g).
sousedi(g,h).
sousedi(g,i).
sousedi(i,j).
sousedi(i,k).
sousedi(d,f).
sousedi(i,e).

sousedi(b,a).
sousedi(c,b).
sousedi(d,c).
sousedi(f,c).
sousedi(e,b).
sousedi(g,a).
sousedi(h,g).
sousedi(i,g).
sousedi(j,i).
sousedi(k,i).
sousedi(f,d).
sousedi(e,i).


theseus(a).
minotaurus(k).

cesta(X,Y):-sousedi(X,Y).
cesta(X,Y):-sousedi(X,Z),cesta(Z,Y).

najde_ho :- theseus(X),minotaurus(Y),cesta(X,Y).
