Predicción de la estructura de proteínas 3I
De Lógica computacional y teoría de modelos (2019-20)
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Predicción de estructura de proteinas: Instancia 3.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% hpphpphpphpphpph
%% Secuencia.
prot((1;4;7;10;13;16),h). prot((2;3;5;6;8;9;11;12;14;15),p).