Instancia
De Lógica computacional y teoría de modelos (2019-20)
% Ejemplo del texto
vertice(1..8).
arco(1,2).
arco(2,3).
arco(3,8).
arco(4,1). arco(4,2).
arco(5,2). arco(5,3). arco(5,7).
arco(6,4). arco(6,5).
arco(7,6).
arco(8,4). arco(8,5).
observadoA(1,2,mas).
observadoA(2,3,mas).
observadoA(3,8,menos).
observadoA(4,1,menos).
observadoA(5,2,menos).
observadoA(5,7,mas).
observadoA(6,4,menos).
observadoA(6,5,menos).
observadoA(7,6,menos).
observadoA(8,4,mas).
observadoA(8,5,mas).
observadoV(1,menos).
entrada(1).
observadoA(4,2,mas).