goal(T,W,O,H,R,E,S,V,N,L) :-
    digit(T) & distinct(T,0) &
    digit(W) & mutex(T,W) &
    digit(O) & mutex(T,W,O) &
    digit(H) & mutex(T,W,O,H) &
    digit(R) & mutex(T,W,O,H,R) &
    digit(E) & mutex(T,W,O,H,R,E) &
    digit(S) & distinct(S,0) & mutex(T,W,O,H,R,E,S) &
    digit(V) & mutex(T,W,O,H,R,E,S,V) &
    digit(N) & mutex(T,W,O,H,R,E,S,V,N) &
    digit(L) & mutex(T,W,O,H,R,E,S,V,N,L) &
    evaluate(plus(times(T,100),times(W,10),O),XX) &
    evaluate(plus(times(T,10000),times(H,1000),times(R,100),times(E,10),E),YY) &
    evaluate(plus(times(S,10000),times(E,1000),times(V,100),times(E,10),N),ZZ) &
    evaluate(plus(times(T,100000),times(W,10000),times(E,1000),times(L,100),times(V,10),E),WW) &
    evaluate(plus(XX,YY,ZZ),WW)