Publicidad

Publicidad

becas.universia.netBiblioteca.Net

Buscar recursos:

Buscador Google

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

Marcadores Sociales
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
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.