A declarative logic programming system with first-class relations
embedded in a pure functional subset of Scheme. The system has true
unions, fair scheduling, lexically-scoped logical variables,
set-theoretical semantics, high performance without cuts
Eleven is a programming language for creating robust, scalable web applications. It offers a 20x programmer productivity increase over ASP, JSP, etc. by automating state management and UI layout. The compiler generates ready-to-run PHP or mod_perl code.