Open
Description
Dead-ended half-evaluated rules happen because of diagonalization.
They can be detected by some sub-expression of the rule having no match against facts.
{{ message }}
Dead-ended half-evaluated rules happen because of diagonalization.
They can be detected by some sub-expression of the rule having no match against facts.