query
Ask Datalog questions over a codebase to find dead code, clones, references, and dependencies; answers are labeled and can include derivations.
Instructions
One question in CE Datalog over the index's facts (ce.query-report schema): files, references, units, clones, mentions, path classes, with the built-in prelude (dead, reach, depends, same_dir, dir_ref) and the project's rules file; every answer labelled, its derivation under why; prelude answers the text a question builds on instead (ce.query-prelude schema: the prelude and the [rules.pack] program). Report-only.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| why | No | carry every answer's derivation | |
| body | No | the question (`dead(F)`; `?-` and the final `.` optional); required unless `prelude` | |
| file | No | a rules file (path relative to the root; default `[rules] file`, else ce.rules) | |
| path | No | subpath (default: project root) | |
| prelude | No | answer the prelude and the `[rules.pack]` program instead of a question |