Définition PC simplifiée
'2bopA0'([S1,S2,S3,S4,S5,S6,S7,S8],
[(S1,a,S6),(S1,a,S8),(S4,a,S6),(S5,a,S6)],
[(S1,d,S4),(S6,d,S8)] ):-
S1=(1,e,1), S2=(2,h,0), S3=(3,h,0), S4=(4,e,1),
S5=(5,e,1), S6=(6,e,0), S7=(7,h,1), S8=(8,e,0).
Tresse( [S1,S2,S3,S4,S5,S6],
[(S1,a,S4),(S1,a,S6),(S3,a,S4)],
[(S1,d,S3),(S4,d,S6)] ):-
S1=(N1,e,Haut), S2=(N2,h,Bas), S3=(N3,e,Haut),
S4=(N4,e,Bas), S5=(N5,h,Haut), S6=(N6,e,Bas),
N1 #> 0, N2 #> N1, N3 #> N2, N4 #> N3, N5 #> N4,
opposé(X,Y) :- X in 0..1, Y in 0..1, X #\= Y.