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

Full description

Bibliographic Details
Main Authors:	Gabriel Alfredo Baum, Nazareno Matías Aguirre, Marcelo Arroyo
Format:	Article
Language:	English
Published:	Postgraduate Office, School of Computer Science, Universidad Nacional de La Plata 2001-05-01
Series:	Journal of Computer Science and Technology
Online Access:	https://journal.info.unlp.edu.ar/JCST/article/view/995

id	doaj-27f1fc0799154d0698012afe4a6eec36
record_format	Article
spelling	doaj-27f1fc0799154d0698012afe4a6eec362021-05-05T14:41:19ZengPostgraduate Office, School of Computer Science, Universidad Nacional de La PlataJournal of Computer Science and Technology1666-60461666-60382001-05-0110416 p.16 p.688Translating fork specifications into logic programsGabriel Alfredo Baum0Nazareno Matías Aguirre1Marcelo Arroyo2LIFIA, Facultad de Informática, Universidad Nacional de La Plata, La Plata, ArgentinaFacultad de Ciencias Exactas, Físico-Químicas y Naturales, Universidad Nacional de Río Cuarto, ArgentinaFacultad de Ciencias Exactas, Físico-Químicas y Naturales, Universidad Nacional de Río Cuarto, ArgentinaIn 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.https://journal.info.unlp.edu.ar/JCST/article/view/995
collection	DOAJ
language	English
format	Article
sources	DOAJ
author	Gabriel Alfredo Baum Nazareno Matías Aguirre Marcelo Arroyo
spellingShingle	Gabriel Alfredo Baum Nazareno Matías Aguirre Marcelo Arroyo Translating fork specifications into logic programs Journal of Computer Science and Technology
author_facet	Gabriel Alfredo Baum Nazareno Matías Aguirre Marcelo Arroyo
author_sort	Gabriel Alfredo Baum
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
publisher	Postgraduate Office, School of Computer Science, Universidad Nacional de La Plata
series	Journal of Computer Science and Technology
issn	1666-6046 1666-6038
publishDate	2001-05-01
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.
url	https://journal.info.unlp.edu.ar/JCST/article/view/995
work_keys_str_mv	AT gabrielalfredobaum translatingforkspecificationsintologicprograms AT nazarenomatiasaguirre translatingforkspecificationsintologicprograms AT marceloarroyo translatingforkspecificationsintologicprograms
_version_	1721459992278597632

Translating fork specifications into logic programs

Similar Items