A Framework for Incorporating Abstraction Mechanisms into the Logic Programming Paradigm
|
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 Framework for Incorporating Abstraction Mechanisms into the Logic Programming Paradigm
|
| Id. |
46211530 |
| Idioma |
inglés
|
| Titulo |
A Framework for Incorporating Abstraction Mechanisms into the Logic Programming Paradigm |
| Autor(es) |
Into The
Joseph Lawrence Zachary
Joseph Lawrence Zachary
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.6963
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
To help make logic programming more suitable for writing large systems, we develop linguistic mechanisms that permit the organization of logic programs around abstractions. In particular, we present the design of Denali, an equational logic programming language that supports predicate and data abstraction.
|
| Tipo |
application/postscript
|
| Palabras clave |
Logic Programming
|
| Tipo de recurso |
Texto Narrativo
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Formatos |
application/postscript
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.lcs.mit.edu/publications/pubs/ps/MIT-LCS-TR-405.ps.gz
[References] 10.1.1.67.5276
[References] 10.1.1.18.5466
|
| Fecha de contribución |
22-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
