Grounded Variables #88
Description
Explain the notion of binding variables for rules.
When is a variable grounded, i.e., a variable must occur at least once in a positive predicate in the body of the rule.
{{ message }}
Explain the notion of binding variables for rules.
When is a variable grounded, i.e., a variable must occur at least once in a positive predicate in the body of the rule.