Diferencia entre revisiones de «Reconstrucción filogenética 2I»
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 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). | ||
</source> | </source> | ||
Revisión actual del 10:42 18 feb 2019
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% 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).