elér(X,Y)<-él(X,Y)
elér(X,Y)<-elér(X,Z),él(Z,Y)
elérhető(Y)<-forrás(X),elér(X,Y),cél(Y)
nem_érhető_el(X)<-cél(X),NOT.elérhető(X)
elérhetetlen_út(X,Y)<-nem_érhető_el(X),nem_érhető_el(Y),él(X,Y)
elérhetetlen_út(X,Y)<-nem_érhető_el(X),él(X,Z),elérhetetlen_út(Z,Y)
elérhetetlen_körön_van(X)<-elérhetetlen_út(X,X)
nincs_elérhetetlen_körön(X)<-nem_érhető_el(X),NOT.elérhetetlen_körön_van(X)
output(X)<-NOT.nincs_elérhetetlen_körön(Y),él(X,Y)

él(X,Y)
1,2
2,4
3,2
4,1
4,4
4,5
6,7
7,6
7,8
8,5
9,8

forrás(X)
1
2
3

cél(X)
5
6
7
8