Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
a(true,true,true,true,true,true). a(false,_,_,_,_,_). b(_,false,true,_,_,_). b(_,false,_,true,_,_). b(_,false,_,_,true,_). b(_,false,_,_,_,true). b(_,true,false,false,false,false). c(true,true,true,_,_,_). c(_,_,false,_,_,_). d(true,_,_,true,_,_). d(_,true,_,true,_,_). d(_,_,true,true,_,_). d(false,false,false,false,_,_). e(true,_,_,_,false,_). e(_,true,_,_,false,_). e(_,_,true,_,false,_). e(_,_,_,true,false,_). e(false,false,false,false,true,_). f(true,_,_,_,_,false). f(_,true,_,_,_,false). f(_,_,true,_,_,false). f(_,_,_,true,_,false). f(_,_,_,_,true,false). f(false,false,false,false,false,true). x(A,B,C,D,E,F):-a(A,B,C,D,E,F),b(A,B,C,D,E,F),c(A,B,C,D,E,F),d(A,B,C,D,E,F),e(A,B,C,D,E,F),f(A,B,C,D,E,F).