Pruning in Logic Programming
|
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
|
|
|
Pruning in Logic Programming
|
| Id. |
41479532 |
| Idioma |
inglés
|
| Titulo |
Pruning in Logic Programming |
| Autor(es) |
Lee Naish
|
| Localización |
http://citeseer.ist.psu.edu/45537.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
The logic programming community has a love--hate relationship with operators for
pruning the search space of logic programs such as cut, commit, once, conditionals and
variations on these. Pruning operators typically are not declarative, result in incompleteness
and/or unsoundness, decrease readability and flexibility of code and make
program analysis and transformation more difficult. Despite this, nearly all non-trivial
Prolog programs contain cuts, nearly all more recent logic programming languages have
similar pruning operators and many languages insist on pruning operators in every
clause. In practice, logic programming is less logical than functional programming.
Why it this so? Do we really need pruning operators? Can we have sufficiently
powerful pruning operators which do not destroy the declarative semantics of programs?
How are pruning operators related to logic, modes, functions and lazy evaluation? This
paper attempts to answer some of these questions.
Keywords: cut, soft ...
|
| Tipo |
ps
|
| Palabras clave |
Lee Naish Pruning in Logic Programming
|
| 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://munkora.cs.mu.oz.au/publications/tr_db/./mu_95_16.ps.gz
[References] oai:CiteSeerPSU:453690
[References] oai:CiteSeerPSU:9306
[References] oai:CiteSeerPSU:209909
|
| 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.
|
|
|
|
