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

4 CHAPTER 1. The TOY(FD) System

• primFunct.pl, primFunctGra.pl, primFunctIo.pl, primitivCod.pl,

primitivCodClpr.pl, primitivCodGra.pl, primitivCodIo.pl Primitives

modules of the system.

• pVal.pl Module managing the debugging predicate pVal.

• dyn.pl This module contains the dynamic predicates.

• evalexp.pl This module is necessary for the evaluation of expressions. It shows

the evaluation in the screen.

• goals.pl This module contains the whole process to show the answer (i.e., so-

lutions to goals).

• initToy.pl Module to recognize goals, commands and expressions to evaluate

at prompt-level. It includes the syntax analysis.

• navigating.pl, sailing .pl These modules contain the algorithm to navigate

thorough the debugging tree.

• newout.pl This module contains the exportation clause of the predicates needed

to import.

• osystem.pl This module contains the predicates with calls to the system.

• tools.pl This module contains general predicates.

• writing.pl Module managing the writing of atoms.

• cflpfd.pl, cflpfdfile.pl These modules support the extension to FD con-

straints.

• basic.pl, basiccopia.pl, basicGra.pl, misc.pl They contains the prede-

ﬁned functions and types of the system.

• basicIO.pl, ioantonio.pl Basic Input/Ouput.

• cflpr.pl Module to manage real constraints.

• nada.pl, nada.debug.pl Dummy modules implementation-speciﬁc.

• tcltk.pl Library for the integration of tcltk in TOY(FD).

A set of TOY(FD) ﬁles

There are a number of TOY(FD) ﬁles that contains predeﬁned deﬁnitions for types

and functions.

A set of TOY programs

The distribution also provides a directory (i.e., Examples) that contains a number

of examples of TOY(FD) programs that make use of FD constraints. In the following,

we enumerate these examples:

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

Sin comentarios

Ascend FD-23R Manual de usuario Pagina 16