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.