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)


cél(X)
5
6
7
8

forrás(X)
1
2
3

é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

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

elérhetetlen_körön_van(X)
6
7

elérhetetlen_út(X,Y)
6,6
6,7
6,8
7,6
7,7
7,8

elérhető(Y)
5

nem_érhető_el(X)
6
7
8

nincs_elérhetetlen_körön(X)
8

output(X)
1
2
3
4
6
7
8