Programmi di toy.sf.net

Toy è un sistema logico funzionale a vincoli, progettato per supportare i principali stili di programmazione dichiarativa e la loro combinazione