Ascend FD-23R Manual de usuario descargar pdf (Pagina 15)

1.2. The Current Implementation 3

1.2.5 Distribution

The current distribution is freely available as a compressed ﬁle toyfd.zip that contains

the ﬁles shown below.

System ﬁles.

• toyfd.pl The source code of the system. It is the main ﬁle containing both the

original TOY implementation and its extension to support FD constraints.

• toy.ini Initialization options.

• token.pl Module with predicate deﬁnitions for the lexicographical analysis.

• compil.pl Module with predicates for the generation of intermediate code.

• transdcg.pl Module with translation from DCG’s to Prolog clauses.

• transdebug.pl Module in charge of transforming a compiled predicate into an-

other ready for debugging.

• errortoy.pl Module for error handling during compilation.

• gramma dcg.pl Module with DCG deﬁnitions.

• gramma toy.pl, cabecera gramma toy.pl Modules with syntax deﬁnition of

the language.

• transob.pl Module to interpret commands and/or goals.

• dds.pl Module that generates the deﬁnitional trees (dds trees) associated to a

function.

• codfun.pl This module generates the code of a function using the deﬁnitional

tree.

• transfun.pl

This module returns the code associated to a function from its

name and generates the deﬁnitional tree.

• process.pl Main module for generating code.

• toycomm.pl Module that contains all the common Prolog predicates to each

TOY(FD) program.

• connected.pl This module searches the connected components of a graph of

dependencies, concretely the functional dependencies of the declared functions

by the user and the standard dependencies.

• inferrer.pl This module implements the type inferrer.

1 2 ... 10 11 12 13 14 15 16 17 18 19 20 ... 80 81

Sin comentarios

Ascend FD-23R Manual de usuario Pagina 15