Translating fork specification into logic programs

Autores
Baum, Gabriel Alfredo; Frias, Marcelo F.; Aguirre, Nazareno Matías; Arroyo, Marcelo
Año de publicación
2001
Idioma
inglés
Tipo de recurso
documento de conferencia
Estado
versión publicada
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.
Eje: Teoría
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
Logic Programming
Translating fork specification
logic programs
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/23540

id SEDICI_86658cd5a84af93580772503278da090
oai_identifier_str oai:sedici.unlp.edu.ar:10915/23540
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Translating fork specification into logic programsBaum, Gabriel AlfredoFrias, Marcelo F.Aguirre, Nazareno MatíasArroyo, MarceloCiencias InformáticasLogic ProgrammingTranslating fork specificationlogic programsIn 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.Eje: TeoríaRed de Universidades con Carreras en Informática (RedUNCI)2001-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttp://sedici.unlp.edu.ar/handle/10915/23540enginfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:28:18Zoai:sedici.unlp.edu.ar:10915/23540Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:28:19.043SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Translating fork specification into logic programs
title Translating fork specification into logic programs
spellingShingle Translating fork specification into logic programs
Baum, Gabriel Alfredo
Ciencias Informáticas
Logic Programming
Translating fork specification
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
dc.creator.none.fl_str_mv Baum, Gabriel Alfredo
Frias, Marcelo F.
Aguirre, Nazareno Matías
Arroyo, Marcelo
author Baum, Gabriel Alfredo
author_facet Baum, Gabriel Alfredo
Frias, Marcelo F.
Aguirre, Nazareno Matías
Arroyo, Marcelo
author_role author
author2 Frias, Marcelo F.
Aguirre, Nazareno Matías
Arroyo, Marcelo
author2_role author
author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
Logic Programming
Translating fork specification
logic programs
topic Ciencias Informáticas
Logic Programming
Translating fork specification
logic programs
dc.description.none.fl_txt_mv 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.
Eje: Teoría
Red de Universidades con Carreras en Informática (RedUNCI)
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.
publishDate 2001
dc.date.none.fl_str_mv 2001-10
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/23540
url http://sedici.unlp.edu.ar/handle/10915/23540
dc.language.none.fl_str_mv eng
language eng
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1842260121616384000
score 13.13397