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

% Instancia mochila b.

#const n=10.
#const m=10. 

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