PROGRAMS BY toy.sf.net

TOY is a constraint functional logic system, designed to support the main declarative programming styles and their combination