SICStus 3.8.6 (sparc-solaris-5.7): Thu Apr  5 21:46:51 MET DST 2001
Licensed to ling.ohio-state.edu
{consulting /home/vmetcalf/.sicstusrc...}
{consulted /home/vmetcalf/.sicstusrc in module user, 0 msec 576 bytes}
| ?- [fleck_pred].
{consulting /home/vmetcalf/fleck_pred.pl...}
{consulted /home/vmetcalf/fleck_pred.pl in module user, 10 msec 464 bytes}

yes
| ?- gen_mt(27).
mt(*(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1), *(B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2), *(C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3)) :-
        m(A, B1, C2),
        m(B, C1, D2),
        m(C, D1, E2),
        m(D, E1, F2),
        m(E, F1, G2),
        m(F, G1, H2),
        m(G, H1, I2),
        m(H, I1, J2),
        m(I, J1, K2),
        m(J, K1, L2),
        m(K, L1, M2),
        m(L, M1, N2),
        m(M, N1, O2),
        m(N, O1, P2),
        m(O, P1, Q2),
        m(P, Q1, R2),
        m(Q, R1, S2),
        m(R, S1, T2),
        m(S, T1, U2),
        m(T, U1, V2),
        m(U, V1, W2),
        m(V, W1, X2),
        m(W, X1, Y2),
        m(X, Y1, Z2),
        m(Y, Z1, A3),
        m(Z, A2, B3),
        m(A1, B2, C3),
        true.

yes