%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% Reconstrucción filgenética: Instancia 1.
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Unidades taxonómicas:
taxa(tiburones). taxa(pecesrad). taxa(anfibios). taxa(primates). taxa(roedores). taxa(cocodrilos). taxa(dinopajaros).
% Caractéres.
char(vertebrado;esqueleto;cuatropatas;pelo;huevomem;dospostorb).
% Dominio de los caractéres.
dom((vertebrado;esqueleto;cuatropatas;pelo;huevomem;dospostorb),(0;1)).
% Expresión de los caractéres en las TU's.
% Tiburones.
f(tiburones,vertebrado,1). f(tiburones,esqueleto,0). f(tiburones,cuatropatas,0). f(tiburones,huevomem,0). f(tiburones,pelo,0). f(tiburones,dospostorb,0).
% Peces con aletas radiales.
f(pecesrad,vertebrado,1). f(pecesrad,esqueleto,1). f(pecesrad,cuatropatas,0). f(pecesrad,huevomem,0). f(pecesrad,pelo,0). f(pecesrad,dospostorb,0).
% Anfibios.
f(anfibios,vertebrado,1). f(anfibios,esqueleto,1). f(anfibios,cuatropatas,1). f(anfibios,huevomem,0). f(anfibios,pelo,0). f(anfibios,dospostorb,0).
% Primates.
f(primates,vertebrado,1). f(primates,esqueleto,1). f(primates,cuatropatas,1). f(primates,huevomem,1). f(primates,pelo,1). f(primates,dospostorb,0).
% Roedores.
f(roedores,vertebrado,1). f(roedores,esqueleto,1). f(roedores,cuatropatas,1). f(roedores,huevomem,1). f(roedores,pelo,1). f(roedores,dospostorb,0).
% Cocodrilos.
f(cocodrilos,vertebrado,1). f(cocodrilos,esqueleto,1). f(cocodrilos,cuatropatas,1). f(cocodrilos,huevomem,1). f(cocodrilos,pelo,0). f(cocodrilos,dospostorb,1).
% Dinosaurios y pájaros.
f(dinopajaros,vertebrado,1). f(dinopajaros,esqueleto,1). f(dinopajaros,cuatropatas,1). f(dinopajaros,huevomem,1). f(dinopajaros,pelo,0). f(dinopajaros,dospostorb,1).