alternáló_út(X,Y,Z)<-él(X,Y,'piros'),Z='piros'
alternáló_út(X,Y,Z)<-él(X,Y,'kék'),Z='kék'
alternáló_út(X,Y,Z)<-alternáló_út(X,U,'piros'),él(U,Y,'kék'),Z='kék'
alternáló_út(X,Y,Z)<-alternáló_út(X,U,'kék'),él(U,Y,'piros'),Z='piros'
alternáló_körön_van(X)<-alternáló_út(X,X,Z)
út(X,Y)<-él(X,Y,Z)
út(X,Y)<-él(Y,X,Z)
út(X,Y)<-út(X,Z),út(Z,Y)
alternatív_pár(X,Y)<-alternáló_körön_van(X),alternáló_körön_van(Y),út(X,Y)

él(X,Y,Z)
1,2,'piros'
1,3,'piros'
2,1,'kék'
4,3,'piros'
4,5,'piros'
5,4,'kék'

alternáló_út(X,Y,Z)
1,1,'kék'
1,2,'piros'
1,3,'piros'
2,1,'kék'
2,2,'piros'
2,3,'piros'
4,3,'piros'
4,4,'kék'
4,5,'piros'
5,3,'piros'
5,4,'kék'
5,5,'piros'

alternáló_körön_van(X)
1
2
4
5

út(X,Y)
1,1
1,2
1,3
1,4
1,5
2,1
2,2
2,3
2,4
2,5
3,1
3,2
3,3
3,4
3,5
4,1
4,2
4,3
4,4
4,5
5,1
5,2
5,3
5,4
5,5

alternatív_pár(X,Y)
1,1
1,2
1,4
1,5
2,1
2,2
2,4
2,5
4,1
4,2
4,4
4,5
5,1
5,2
5,4
5,5