The Toy System

What can you expect from Toy?

The basic features of Toy are: Some distinguised features of Toy are


How does it Works?

As usual in functional logic languages, the operational mechanism of the language is bases on a lazy narrowing strategy, called demand driven narrowing . The Toy system implements demand driven narrowing by means of a translation of Toy into Prolog code.