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

<source lang = "prolog"> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 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). </prolog>