Answer set programming: differenze tra le versioni

Versione delle 01:11, 16 apr 2016

Versione delle 16:28, 12 mag 2016

Riga 60:

<Predicate>(start..end)

</source>

dove <code>stardstart</code> e <code>end</code> sono espressioni aritmetiche dal valore costante. Un'intervallo è un'abbreviazione notazionale per definire domini numerici. Ad esempio, il fatto:

<source lang="prolog">

a(1..3).