]> AND Private Git Repository - cours-maths-dis.git/blob - tpProlog/tp2/exo3.pl
Logo AND Algorithmique Numérique Distribuée

Private GIT Repository
correction Algboole13
[cours-maths-dis.git] / tpProlog / tp2 / exo3.pl
1 word(abalone,a,b,a,l,o,n,e).
2 word(abandon,a,b,a,n,d,o,n).
3 word(enhance,e,n,h,a,n,c,e).
4 word(anagram,a,n,a,g,r,a,m).
5 word(connect,c,o,n,n,e,c,t).
6 word(elegant,e,l,e,g,a,n,t).
7 crossword(V1,V2,V3,H1,H2,H3):-
8     word(V1,_,L11,_,L21,_,L31,_),
9     word(V2,_,L12,_,L22,_,L32,_),
10     word(V3,_,L13,_,L23,_,L33,_),
11     word(H1,_,L11,_,L12,_,L13,_),
12     word(H2,_,L21,_,L22,_,L23,_),
13     word(H3,_,L31,_,L32,_,L33,_).
14
15