Ver el código de «Heyawake 1I» - Lógica computacional y teoría de modelos (2019-20)

<source lang = "prolog">
%%  _ _ _ _ _ _ _ _ _ _
%% | ! | ! ! | ! ! |0! |
%% |_!_|_!_!_|_!_!_|_!_|
%% | ! |5! ! |_!_!_|1! |
%% | ! | ! ! |0! ! | ! |
%% |_!_|_!_!_|_!_!_|_!_|
%% |1! |2! ! |2! ! | ! |
%% | ! |_!_!_| ! ! | ! |
%% |_!_|_!_!_|_!_!_|_!_|
%% |0! | ! ! |1! ! | ! |
%% |_!_|_!_!_|_!_!_|_!_|

#const c=10.
#const f=10.
#const r=18.

habi(0,1,1,2,2).   habi(1,1,3,2,5).   habi(2,1,6,2,8).
habi(3,1,9,2,10).  habi(4,3,1,5,2).   habi(5,3,3,5,5).
habi(6,3,6,3,8).   habi(7,3,9,5,10).  habi(8,4,6,5,8).
habi(9,6,1,8,2).   habi(10,6,3,7,5).  habi(11,6,6,8,8).
habi(12,6,9,8,10). habi(13,8,3,8,5).  habi(14,9,1,10,2).
habi(15,9,3,10,5). habi(16,9,6,10,8). habi(17,9,9,10,10).

tiene(0,-1).  tiene(1,-1).  tiene(2,-1).
tiene(3,0).   tiene(4,-1).  tiene(5,5).
tiene(6,-1).  tiene(7,1).   tiene(8,0).
tiene(9,1).   tiene(10,2).  tiene(11,2).
tiene(12,-1). tiene(13,-1). tiene(14,0).
tiene(15,-1). tiene(16,1).  tiene(17,-1).


</source>