Completación de redes metabólicas 1I
De Lógica computacional y teoría de modelos (2019-20)
Revisión del 11:55 18 feb 2019 de Mjoseh (discusión | contribuciones) (Página creada con «<source lang = "prolog"> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % Problema de completación de…»)
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% Problema de completación de redes metabólicas: Instancia 1.
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
%% Red.
red(d).
% Reacciones.
reaccion(r1, a). reaccion(r2, a). reaccion(r3, d).
reaccion(r4, d). reaccion(r5, a). reaccion(r6, d).
% Reactantes.
reactante(m1, r1). reactante(m2, r2). reactante(m2, r3).
reactante(m3, r4). reactante(m4, r4). reactante(m1, r5).
reactante(m4, r5). reactante(m4, r6).
% Productos.
producto(m3, r1). producto(m3, r2). producto(m4, r3).
producto(m5, r4). producto(m6, r5). producto(m7, r6).
% Semillas.
semilla(m1). semilla(m2).
% Objetivos.
objetivo(m5). objetivo(m7).