Contents

Introduction
- Introduction
What is available now
- What is available now
Parse a program
- Parse a program
Run lint rules
- Run lint rules
Rule authorship (high level)
- Rule authorship (high level)
Logging and diagnostics output
- Logging and diagnostics output
Legacy DDlog tokens
- Legacy DDlog tokens
- Unreleased migration
Relation declarations
- Relation declarations
Relation diagnostics
- Relation diagnostics
- Build standard

Introduction

Updated Oct 17, 2026

ddlint provides a parser, semantic model, and linting primitives for Differential Datalog (DDlog) sources. This guide documents the current user-facing behaviour.