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

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Predicción de estructura de proteinas: Instancia 1.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% phphpphp

%% Secuencia.

prot(1,p).   prot(2,h).   prot(3,p).   prot(4,h).
prot(5,p).   prot(6,p).   prot(7,h).   prot(8,p).