Warn for unfirable rules
Open
enhancement
logical
program analysis
- Dominant language
- Rust
- Stars
- 289
- Forks
- 21
- PR merge metrics
- No merged PRs in 30d
Description
I would expect a warning, if a relation like "nonInitRelation" neither is imported nor appears in the head of any rule.
`relation(?a) :-
nonInitRelation(?a).`
Contributor guide
Assessment
This issue has not been assessed yet.