Check Knowledge Base

Keyboard: Alt+C+H

Checks the current knowledge base. The following types of errors are reported:

Type errors

Expressions evaluating to non-conforming types are detected.

Rule cycles

Cyclical(recursive) definitions of rules, occurring when a parameter is determined by either directly or indirectly referring to itself, are not allowed.

Section cycles

Cyclical patterns in general, e.g. that the section leads back to itself, are not allowed either.

Missing sections

Do and do_section_of actions referring to non-existing sections are detected and the names of the missing sections are indicated.

Missing parameters

All references to undefined parameters are detected and the names of the missing parameters are indicated