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

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% Reconstrucción filgenética: Instancia 2.
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% Unidades taxonómicas:
#const c = 5.
taxa(1..c).

% Caractéres.
char(a;b).

% Dominio de los caractéres.
dom(a,(0;1)).
dom(b,(0;1)).

% Expresión de los caractéres en las TU's.
f(1,a,0).  f(1,b,1).
f(2,a,0).  f(2,b,0).
f(3,a,0).  f(3,b,0).
f(4,a,1).  f(4,b,0).
f(5,a,1).  f(5,b,1).