Free Prolog compiler with constraint solving over finite domains
A platform designed to facilitate rigorous spatial analysis and modelling.
Zinc 4.0 has been updated to support the very latest Flash Player 11.
The Mozart system is a development platform for distributed applications.
Two boards can be mobile using two AAA batteries provided in the kit.
