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

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% Estructura secundaria ARN: Instancia 2.
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
%% Secuencia: acgaaaucgaaacgcccauuuugu

seq(1,a). seq(2,c). seq(3,g). seq(4,a). seq(5,a). seq(6,a).
seq(7,u). seq(8,c). seq(9,g). seq(10,a). seq(11,a). seq(12,a).
seq(13,c). seq(14,g). seq(15,c). seq(16,c). seq(17,c). seq(18,a).
seq(19,u). seq(20,u). seq(21,u). seq(22,u). seq(23,g). seq(24,u).