Normal view MARC view ISBD view

Translating fork specifications into logic programs

By:

Baum, Gabriel Alfredo

Contributor(s):

Material type: Article

ArticleDescription: 1 archivo (225,1 KB)Subject(s):

Online resources:

Click here to access online

Summary: 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.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 3 )

Holdings
Item type	Home library	Collection	Call number	URL	Status	Date due	Barcode
Capítulo de libro	Biblioteca de la Facultad de Informática	Biblioteca digital	A0593 (Browse shelf(Opens below))	Link to resource	No corresponde

Browsing Biblioteca de la Facultad de Informática shelves, Collection: Biblioteca digital Close shelf browser (Hides shelf browser)

Previous								Next
Previous	A0590 A hierarchical triangulation for multiresolution terrain models	A0591 Performance of scientific processing in networks of workstations : matrix multiplication example	A0592 Pattern recognition in medical images using neural networks	A0593 Translating fork specifications into logic programs	A0594 Parallelization of image similarity analysis	A0595 DER : dynamic evidential reasoning applied to hyperspectral images classification	A0596 Wavelet representation of functions defined on tetrahedrical grids	Next

Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca)

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.

Journal of Computer Science & Technology, 1(4)