Logic Inspections
| Inspection | Meaning |
|---|---|
DeclaresFact | is a given logic fact declared? |
DeclaresPredicate | is a given rule o fact declared? |
DeclaresRule | is a given logic rule declared? |
UsesFindall | is the logic findall consult used? |
UsesForall | is the logic forall consult used? |
UsesNot | is the not operator used? |