Programas por toy.sf.net

O TOY é um sistema de lógica funcional de restrição, projetado para suportar os principais estilos de programação declarativa e a sua combinação