Prolog - Comparacion Listas

Hola a todos,

estoy trabajando en Eclipse, pero supongo que esto es duda de prolog, estoy programando un CSP con codificaion dual y debo comparar los 2 primeros valores de las tuplas T1y T2....luego por el primero de T1 y el Tercero de T4..y así

omo se hace sa comparción con las listas...sin destruirlas. gracias

:-use_module(library(fd)).

arreglo(T1,T2,T3,T4):-

T1::[(0,0,1),(0,1,0),(1,0,0)],
T2::[(0,0,1),(1,0,0),(1,1,1)],
T3::[(0,1,0),(1,0,0),(1,1,0),(1,1,1)],
T4::[(0,0,0),(0,1,1),(1,0,1)],

%aqui van las restriciones

indomain(T1),
indomain(T2),
indomain(T3),
indomain(T4).

ese es el codigo T1, T2, T3 y T4 tiene las tuplas validas, yo quiero csaber como restringir que el primer valor de T 1 sea igual al de T2..por ejemplo es valido

T1 0,1,1
T2 0,0,1

pero no

T1 0,1,0
T2 1,1,0

gracias..

lo que puedes hacer es hacer con un pite para que te vallan separando y luego haces la comparacion con una recursividad y ya