Translating fork specification 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

Guardado en:

Detalles Bibliográficos
Autores principales:	Baum, Gabriel Alfredo, Frias, Marcelo F., Aguirre, Nazareno Matías, Arroyo, Marcelo
Formato:	Objeto de conferencia
Lenguaje:	Inglés
Publicado:	2001
Materias:	Ciencias Informáticas Logic Programming Translating fork specification logic programs
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/23540
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-23540
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 Logic Programming Translating fork specification logic programs
spellingShingle	Ciencias Informáticas Logic Programming Translating fork specification logic programs Baum, Gabriel Alfredo Frias, Marcelo F. Aguirre, Nazareno Matías Arroyo, Marcelo Translating fork specification into logic programs
topic_facet	Ciencias Informáticas Logic Programming Translating fork specification logic programs
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.
format	Objeto de conferencia Objeto de conferencia
author	Baum, Gabriel Alfredo Frias, Marcelo F. Aguirre, Nazareno Matías Arroyo, Marcelo
author_facet	Baum, Gabriel Alfredo Frias, Marcelo F. Aguirre, Nazareno Matías Arroyo, Marcelo
author_sort	Baum, Gabriel Alfredo
title	Translating fork specification into logic programs
title_short	Translating fork specification into logic programs
title_full	Translating fork specification into logic programs
title_fullStr	Translating fork specification into logic programs
title_full_unstemmed	Translating fork specification into logic programs
title_sort	translating fork specification into logic programs
publishDate	2001
url	http://sedici.unlp.edu.ar/handle/10915/23540
work_keys_str_mv	AT baumgabrielalfredo translatingforkspecificationintologicprograms AT friasmarcelof translatingforkspecificationintologicprograms AT aguirrenazarenomatias translatingforkspecificationintologicprograms AT arroyomarcelo translatingforkspecificationintologicprograms
bdutipo_str	Repositorios
_version_	1764820465775280129

Translating fork specification into logic programs

Ejemplares similares