|
Using no libraries! a1([f,f,_,_,_,_]).
a1([f,t,f,_,_,_]).
a1([f,t,t,f,_,_]).
a1([f,t,t,t,f,_]).
a1([f,t,t,t,t,f]).
a1([t,t,t,t,t,t]).
a2([_,f,t,_,_,_]).
a2([_,f,f,t,_,_]).
a2([_,f,f,f,t,_]).
a2([_,f,f,f,f,t]).
a2([_,t,f,f,f,f]).
a3([f,_,f,_,_,_]).
a3([t,f,f,_,_,_]).
a3([t,t,t,_,_,_]).
a4([t,_,_,t,_,_]).
a4([f,t,_,t,_,_]).
a4([f,f,t,t,_,_]).
a4([f,f,f,f,_,_]).
a5([t,_,_,_,f,_]).
a5([f,t,_,_,f,_]).
a5([f,f,t,_,f,_]).
a5([f,f,f,t,f,_]).
a5([f,f,f,f,t,_]).
a6([t,_,_,_,_,f]).
a6([f,t,_,_,_,f]).
a6([f,f,t,_,_,f]).
a6([f,f,f,t,_,f]).
a6([f,f,f,f,t,f]).
a6([f,f,f,f,f,t]).
solution(X) :- a1(X), a2(X), a3(X), a4(X), a5(X), a6(X).
|