Answer set programming: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Corretto: "un intervallo" |
mNessun oggetto della modifica |
||
Riga 58:
Un ''intervallo'' è espresso nella forma:
<source lang="prolog">
<Predicate>(start..end)</Predicate>
</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:
|