50 CHAPTER 2. TOY(FD) Programming Examples
This simple example gives an idea of the nice features of TOY(FD) that combines
FD constraint solving, management of infinite lists and lazy evaluation, curried notation
of functions, polymorphism, HO functions (and thus HO constraints), composition of
functions and a number of other characteristics that increase the potentialities with
respect to CLP(FD).
Comentarios a estos manuales