Lógica computacional y teoría de modelos (2019-20) Lógica computacional y teoría de modelos (2019-20)

%% Instancia 1.

#const n=6.
#const m=6.

blanco(1,5). blanco(2,5). blanco(4,5).
blanco(5,5). blanco(6,5). blanco(2,3).
blanco(5,3). negro(1,1).  negro(6,1).