alice
manual.
These pages describe the current implementation of Alice, version 1.4 (nick-named Kraftwerk), which is based on the SEAM virtual machine.
Features
A Short Tour of Alice
The Alice ML Language
The Alice Library
Alice Constraint Programming Tutorial
Tool Support
The Alice Project,
http://www.ps.uni-saarland.de/alice/
The Alice System (c) 2002-2007 Programming System Lab, Saarland University