Программы toy.sf.net

TOY представляет собой систему функциональной логики ограничения, предназначенную для поддержки основных декларативных стилей программирования и их комбинации