ClauseListener

A visitor over Clauses, dispatching to a specific callback depending on the clause's concrete kind (onDirective/onFact/onRule/onClause for anything else), via listen.

Functions

open fun listen(clause: Clause)

Dispatches clause to onDirective/onFact/onRule/onClause, depending on its concrete kind.

abstract fun onClause(clause: Clause)

Invoked when listening any Clause that is neither a Directive, Fact, nor Rule.

abstract fun onDirective(directive: Directive)

Invoked when listening a Directive (a :- Goal clause).

abstract fun onFact(fact: Fact)

Invoked when listening a Fact (a clause with an empty body).

abstract fun onRule(rule: Rule)

Invoked when listening a Rule (a clause with a non-empty body, other than a Directive).