Translating fork specifications into logic programs

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. Afte...

Descripción completa

Detalles Bibliográficos
Autores principales: Baum, Gabriel Alfredo, Aguirre, Nazareno Matías, Arroyo, Marcelo
Formato: Articulo
Lenguaje:Inglés
Publicado: 2001
Materias:
Ciencias Informáticas
Programación lógica
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/9407
http://journal.info.unlp.edu.ar/wp-content/uploads/pap31.pdf
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-9407
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
Programación lógica
spellingShingle Ciencias Informáticas
Programación lógica
Baum, Gabriel Alfredo
Aguirre, Nazareno Matías
Arroyo, Marcelo
Translating fork specifications into logic programs
topic_facet Ciencias Informáticas
Programación lógica
description 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.
format Articulo
Articulo
author Baum, Gabriel Alfredo
Aguirre, Nazareno Matías
Arroyo, Marcelo
author_facet Baum, Gabriel Alfredo
Aguirre, Nazareno Matías
Arroyo, Marcelo
author_sort Baum, Gabriel Alfredo
title Translating fork specifications into logic programs
title_short Translating fork specifications into logic programs
title_full Translating fork specifications into logic programs
title_fullStr Translating fork specifications into logic programs
title_full_unstemmed Translating fork specifications into logic programs
title_sort translating fork specifications into logic programs
publishDate 2001
url http://sedici.unlp.edu.ar/handle/10915/9407
http://journal.info.unlp.edu.ar/wp-content/uploads/pap31.pdf
work_keys_str_mv AT baumgabrielalfredo translatingforkspecificationsintologicprograms
AT aguirrenazarenomatias translatingforkspecificationsintologicprograms
AT arroyomarcelo translatingforkspecificationsintologicprograms
bdutipo_str Repositorios
_version_ 1764820492112363524

Ejemplares similares