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

<source lang = "prolog">
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Instancia 1: Problema de la interferencia de haplotipos.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% Máximo número de haplotipos.

% Genotipos.

geno(1..20). site(1..8).

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

</source>