Nurikabe 2I
De Lógica computacional y teoría de modelos (2019-20)
%% | |3| | | |1| |
%% | | | | | | | |
%% |2| | |1| | | |
%% | | | | | | | |
%% | |1| | |2| | |
%% | | |2| | | | |
%% |1| | | |1| |6|
#const c=5.
#const r=5.
numero(1,2,4). numero(1,4,5).
numero(3,3,1). numero(4,1,4).