eq(X,X).
eq(a,X) <- eq(b,X) if [b>=X].
eq(b,X) <- eq(a,X) if [a>=X].

eq(b,X) <- eq(c,X) if [c>=X].
eq(c,X) <- eq(b,X) if [b>=X].

eq(c,X) <- eq(f,X) if [f>=X].
eq(f,X) <- eq(c,X) if [c>=X].

eq(a,X) <- eq(d,X) if [d>=X].
eq(d,X) <- eq(a,X) if [a>=X].

eq(d,X) <- eq(e,X) if [e>=X].
eq(e,X) <- eq(d,X) if [d>=X].

goal [] <- eq(f,a).

precedence([a,c,b,d,e,f]).