Flamingo
Logic programming reborn for the Web.
Relationships, Not Algorithms
A simple DSL for describing the relationships between action and change without loops, mutation, or callbacks.
Reuse through Modules
A powerful module system makes object orientation fun again.
Correct by Design
Programs double as “lightweight formal methods”. Write declarative constraints – get thousands of tests for free.