Translating Fork Specifications into Logic Programs
|
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
|
|
|
Translating Fork Specifications into Logic Programs
|
| Id. |
38293745 |
| Idioma |
Ingles
|
| Titulo |
Translating Fork Specifications into Logic Programs |
| Autor(es) |
Baum, Gabriel Alfredo
Aguirre, Nazareno Matías
Arroyo, Marcelo
|
| Localización |
http://www.sedici.unlp.edu.ar?id=ARG-UNLP-ART-0000000164
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
In this work a compiler from fork specifications into logic programs is presented. The technique implemented by the compiler consists of transforming a set of fork equations (with some restrictions) into normal logic programs in such a way that the semantics of the fork equations is preserved.
After translating a fork specification, it can be executed by consulting the generated logic program. The fork compiler, a tool for the
translation, is also introduced.
|
| Tipo |
text/html
|
| Palabras clave |
Programación Lógica
|
| Tipo de recurso |
Artículo
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
| Formatos |
text/html
|
| Requerimientos técnicos |
Browser: Any
|
| Fecha de contribución |
27-nov-2008 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
