Ylelauta – Infinite Canvas

Write rules in plain English using EARS syntax

Natural Language Rule

Templates

Generated DSL:

Write rules directly in Pearl DSL syntax

Atom Type

Add Ada/SPARK-style formal contracts to rules

Pre-conditions (must be true BEFORE)

Post-conditions (must be true AFTER)

Invariants (must ALWAYS be true)

Explore alternative histories: "What if X had been different?"

Select Event to Modify

Modification

Or ask in natural language: