Sistema DLV

Da Wikipedia, l'enciclopedia libera.

Il sistema DLV è un sistema di intelligenza artificiale che supporta la programmazione logica disgiuntiva in accordo alla semantica dei modelli stabili (Answer Set Programming). Il linguaggio supportato estende Datalog per consentire l'uso della disgiunzione nella testa delle regole. La pagina del tutorial mostra un semplice esempio che modella qualcuno che ride se gli viene raccontata una barzelletta.

joke.
laugh :- joke.

L'esempio seguente rappresenterebbe il caso in cui la barzelletta non viene raccontata.

laugh :- joke.

Dato che il valore di "joke" non è indicato come vero nel secondo programma, allora è assunto essere falso (negazione per fallimento).