Programas por toy.sf.net

TOY es un sistema de lógica funcional de restricciones, diseñado para soportar los principales estilos de programación declarativa y su combinación