Answer set programming: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Pavelik (discussione | contributi)
mNessun oggetto della modifica
Pavelik (discussione | contributi)
mNessun oggetto della modifica
Riga 58:
Un ''intervallo'' è espresso nella forma:
<source lang="prolog">
<Predicatepredicate>(start..end)</Predicatepredicate>
</source>
dove <code>start</code> e <code>end</code> sono espressioni aritmetiche dal valore costante. Un intervallo è un'abbreviazione notazionale per definire domini numerici. Ad esempio, il fatto: