Diferencia entre revisiones de «Reconstrucción filogenética 1I»
De Lógica computacional y teoría de modelos (2019-20)
(Página creada con «<source lang = "prolog"> </source>») |
|||
| Línea 1: | Línea 1: | ||
<source lang = "prolog"> | <source lang = "prolog"> | ||
| + | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% | ||
| + | % | ||
| + | % 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). | ||
</source> | </source> | ||
Revisión actual del 11:41 18 feb 2019
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% 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).