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'