A Logic Programming View of CLP
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
A Logic Programming View of CLP
|
| Id. |
41843119 |
| Idioma |
inglés
|
| Titulo |
A Logic Programming View of CLP |
| Autor(es) |
Michael J. Maher
|
| Localización |
http://citeseer.ist.psu.edu/407723.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
We address the problem of lifting definitions, results, and even proofs for
the theory of logic programming, so that they apply to constraint logic programming
(CLP). We attempt to systematize this lifting, where it is possible,
and delineate where it is not possible. We show that the Independence of
Negated Constraints property of constraint domains is fundamental to several
different aspects of constraint logic programming. This is a principal
cause for the inability to lift some traditional logic programming results to
constraint logic programming.
1 Introduction
We address the problem of lifting definitions, results, and even proofs for
the theory of logic programming, so that they apply to constraint logic programming
(CLP). (In viewing the theory of constraint logic programming as
lifted from the theory of logic programming, we are taking a logic programming
view of CLP.) Several papers have dealt with this problem for specific
results, mostly inspired by the CLP Scheme [10, 11...
|
| Tipo |
ps
|
| Palabras clave |
Michael J. Maher A Logic Programming View of CLP
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
unrestricted |
| Formatos |
ps
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.math.luc.edu/~mjm/pubs/lift.ps
[References] oai:CiteSeerPSU:33803
[References] oai:CiteSeerPSU:185961
[References] oai:CiteSeerPSU:122552
[References] oai:CiteSeerPSU:374683
|
| Fecha de contribución |
31-mar-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
