Translating fork specifications into logic programs

Baum, Gabriel Alfredo et al · SEDICI UNLP · 2001

Acceso abierto al texto completo

Lectura rápida. Revisá los datos básicos del recurso y luego accedé al contenido desde el botón principal. En esta ficha solo se muestra la información necesaria para identificar la obra, citarla y abrirla.

Autor / responsable

Baum, Gabriel Alfredo et al

Editorial

SEDICI UNLP

Año

2001

Idioma

en

Acceso al recurso

Entrá al contenido desde la opción principal o elegí otra fuente disponible.

Acceso principal

Acceso abierto al texto completo

Texto completo identificado como acceso abierto.

Abrir texto

Resumen

Descripción general del contenido del recurso.

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. Facultad de Informática

Cómo citar

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Baum, G. A. E. A. (2001). Translating fork specifications into logic programs. http://sedici.unlp.edu.ar/handle/10915/9407

MLA

Baum, Gabriel Alfredo et al. "Translating fork specifications into logic programs." 2001. http://sedici.unlp.edu.ar/handle/10915/9407.

Chicago

Baum, Gabriel Alfredo et al. 2001. "Translating fork specifications into logic programs.". http://sedici.unlp.edu.ar/handle/10915/9407.

Harvard

Baum, G. A. E. A. 2001, Translating fork specifications into logic programs, SEDICI UNLP, available at: http://sedici.unlp.edu.ar/handle/10915/9407 [Accessed 29 Jun. 2026].

Compartir e imprimir

Guardá la ficha, copiá su enlace permanente o imprimila como PDF.

Exportar referencia

Si usás un gestor bibliográfico, podés exportar el registro en los formatos más comunes.

RIS BibTeX

Detalles del recurso

Información bibliográfica útil para confirmar que se trata del material correcto.

Título: Translating fork specifications into logic programs

Autor / colaboradores: Baum, Gabriel Alfredo et al

Editorial: SEDICI UNLP

Año de publicación: 2001

Idioma: en

Materias

Explorá otros recursos relacionados a partir de estas materias.

Ciencias Informáticas; Programación lógica