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

%% instrancia pequeña mochila.

#const n=5.
#const m=5.

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