Ver el código de «Completación de redes metabólicas 2I» - Lógica computacional y teoría de modelos (2019-20)

<source lang = "prolog">
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% Problema de completación de redes metabólicas: Instancia 2.
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
%% Red.

red(d).

% Reacciones.
reaccion(r1, d). reaccion(r2, d). reaccion(r3, d).
reaccion(r4, d). reaccion(r5, d). reaccion(r6, d).
reaccion(r7, a). reaccion(r8, a). reaccion(r9, a).
reaccion(r10, a).


% Reactantes.
reactante(m2, r1). reactante(m7, r2). reactante(m8, r2).
reactante(m3, r3). reactante(m4, r3). reactante(m6, r4).
reactante(m9, r4). reactante(m9, r5). reactante(m12, r6).
reactante(m13, r7). reactante(m12, r8). reactante(m15, r9).
reactante(m1, r10).

% Productos.
producto(m4, r1). producto(m3, r1). producto(m9, r2).
producto(m5, r3). producto(m6, r3). producto(m10, r4).
producto(m10, r5). producto(m11, r5). producto(m13, r6).
producto(m5, r7). producto(m15, r8). producto(m10, r9).
producto(m7, r10). producto(m8, r10).


% Semillas.
semilla(m1). semilla(m2). semilla(m12).

% Objetivos.
objetivo(m5). objetivo(m10).
</source>