Instancia
De Lógica computacional y teoría de modelos (2019-20)
Revisión del 14:12 12 feb 2020 de Mjoseh (discusión | contribuciones) (Página creada con «<source lang = "prolog"> % 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).…»)
% 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).