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

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

</source>