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

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% Problema de reparación de redes: Instancia 1.
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% Vértices.

vertice(lacZ). vertice(lacI). vertice(a). vertice(cAMPCRP).

% Nodos de entrada.
entrada(le). entrada(g).

% Arcos.
arco(le,li). arco(li,g). arco(lacY,le). arco(lacY,li).
arco(lacI,lacY). arco(lacI,lacZ). arco(lacZ,li). arco(lacZ,g).
arco(lacZ,a). arco(a,lacI). arco(g,cAMPCRP). arco(cAMPCRP,lacY).
arco(cAMPCRP,lacZ).

% Observaciones sobre el etiquetado.
obs(le,li,mas). obs(li,g,mas). obs(lacY,le,menos).
obs(lacY,li,mas). obs(lacI,lacY,menos). obs(lacI,lacZ,menos).
obs(lacZ,li,menos). obs(lacZ,g,menos). obs(lacZ,a,mas).
obs(a,lacI,menos). obs(g,cAMPCRP,menos). obs(cAMPCRP,lacY,mas).
obs(cAMPCRP,lacZ,mas).

%% Con dos cambios.
% obs(le,mas). obs(li,mas).
% obs(g,mas). obs(lacY,mas).
% obs(lacZ,mas). obs(lacI,mas).
% obs(a,mas). obs(cAMPCRP,mas).

%% Consistente sin cambios.
obs(le,mas). obs(g,mas).