Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
%p(X,Y,P,Q):-min(Q,6)>max(abs(X-P)+1,min(Y,7))-2. p(X,Y,P,Q):-Y-2<Q,Q>=abs(X-P)+Q//7+Y//8*5. % p(1,8,1,7). % p(7,7,1,7). % p(4,1,4,7). % p(3,3,3,2). % p(6,1,1,7). % p(5,3,3,2). % % p(6,4,3,2). % p(8,8,1,7). % p(3,4,3,2).