Answer set programming: differenze tra le versioni

Versione delle 12:35, 17 gen 2021

Versione delle 16:29, 26 apr 2021

Riga 127:

In Prolog il problema può essere modellato come segue:

<syntaxhighlight lang="prolog">

dentro(X,Y) | fuori(X,Y) :- arco(X,Y). % ogni arco può essere dentro o fuori ildal percorso.

:-dentro(X,Y), dentro (X,Y1), Y<>Y1. % partendo da un vertice non si può giungere a due vertici distinti.

:-dentro(X,Y), dentro (X1,Y), X<>X1. % partendo da due vertici distinti non si può giungere allo stesso vertice.