Back to docs

ddlint

Linter for Differential Datalog. A Logos tokenizer, an error-recovering Chumsky parser, and a Rowan syntax tree – lints that survive broken input.

Introduction

What is available now

Parse a program

Run lint rules

Rule authorship (high level)

Logging and diagnostics output

Relation declarations

Relation diagnostics

Source

View markdown

Source material

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
Relation declarations
- Relation declarations
Relation diagnostics
- Relation diagnostics

Introduction

Updated Jul 23, 2026

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