Recently, several papers dealing with co-inductive logic programming h ave been proposed, dealing with pure Prolog and constraint logic programming, with and without negation. In this paper we revisit and use, as much as possible, some fundamental results developed in the Eighties to analyze the foundations, and to clarify the possibilities but also the intrinsic theoretical limits of this programming paradigm.
co-LP: Back to the Roots
DOVIER, Agostino
2013-01-01
Abstract
Recently, several papers dealing with co-inductive logic programming h ave been proposed, dealing with pure Prolog and constraint logic programming, with and without negation. In this paper we revisit and use, as much as possible, some fundamental results developed in the Eighties to analyze the foundations, and to clarify the possibilities but also the intrinsic theoretical limits of this programming paradigm.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
tlp2013006.pdf
non disponibili
Tipologia:
Documento in Post-print
Licenza:
Non pubblico
Dimensione
144.53 kB
Formato
Adobe PDF
|
144.53 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
