Nomos

What It Is

Nomos is an experimental programming language for encoding legal rules as code. You write typed rules, give it facts, and it returns a verdict with a proof tree.

Why It Was Built

Legal reasoning is already a computation: statutes define predicates, facts are inputs and precedent is a priority ordering. The hard part is that the world speaks in prose. The thesis is to put language models at the edge and keep deterministic logic inside.

How It Works

• Typed language-model bridges extract facts from prose, and low-confidence extractions can go to a human.
• Rules carry a jurisdiction and a validity date, and queries run as of a date.
• Conflicts between rules are settled by priority, then specificity, then recency, and the proof tree explains each tiebreak.
• Every verdict carries the authorities, facts and rule chain behind it.