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

%% | |3| | | |1| |
%% | | | | | | | |
%% |2| | |1| | | |
%% | | | | | | | |
%% | |1| | |2| | |
%% | | |2| | | | |
%% |1| | | |1| |6|

#const c=7.
#const r=7.

numero(1,2,3). numero(1,6,1).
numero(3,1,2). numero(3,4,1).
numero(5,2,1). numero(5,5,2).
numero(6,3,2).
numero(7,1,1). numero(7,5,1). numero(7,7,6).