kolin(b,d,x).
kolin(a,c,x).
kolin(a,e1,y).
kolin(f,b,y).
kolin(f,d,z).
kolin(e1,c,z).
kolin(x,y,z).
pramen(b,a,c,d,f,e1,1).
prava_p(X,Y,Z):-(kolin(X,Y,A),kolin(Y,A,Z));(kolin(X,A,Y),kolin(A,Y,Z)).
prava_p(X,Y,Z):-kolin(X,Y,Z).
prava(X,Y,Z):-prava_p(X,Y,Z);prava_p(X,Z,Y);prava_p(Y,X,Z);prava_p(Y,Z,X);prava_p(Z,X,Y);prava_p(Z,Y,X).
presjek(A,B,X,Y,P):-prava(A,B,P),prava(X,Y,P).

trotjem(X,Y,Z):-pramen(A,B,C,D,E,F,N),
                     (((X = A);(X = B);prava(A,B,X)),
                     ((Y = C);(Y = D);prava(C,D,Y)),
                     ((Z = E);(Z = F);prava(E,F,Z)),
      	             (not (prava(X,Y,Z)))).
 
     sijeku_u_tacki(N):- pramen(A,B,C,D,E,F,N),
                     trotjem(X,Y,Z),trotjem(X1,Y1,Z1),
		     (not (X = X1)),
		     (not (Y = Y1)),
               	     (not (Z = Z1)),

  presjek(X,Y,X1,Y1,P),
  presjek(X,Z,X1,Z1,Q),
  presjek(Y,Z,Y1,Z1,R),
  prava(P,Q,R).