ISO/Edinburgh-style Prolog interpreter
SWI-Prolog is a fast and powerful ISO/Edinburgh-style Prolog compiler with a rich set of built-in predicates. It offers a fast, robust and small environment which enables substantial applications to be developed with it.
| Linter | Message | Location |
|---|---|---|
| input-labels Identify input labels that do not match package names | label 'libjpeg' does not match package name 'libjpeg-turbo' | |
| input-labels Identify input labels that do not match package names | label 'fontconfig' does not match package name 'fontconfig-minimal' | |
| tests-true Check if tests are explicitly enabled | #:tests? must not be explicitly set to #t |