DirectiveListener

Functions

open override fun listen(clause: <ERROR CLASS>)

open fun listenDirective(directive: <ERROR CLASS>)

open fun listenDirectiveMatchingPattern( directive: <ERROR CLASS>, pattern: <ERROR CLASS>, unifier: <ERROR CLASS>)

abstract fun onClause(clause: <ERROR CLASS>)

abstract fun onDirective(directive: <ERROR CLASS>)

abstract fun onDirectiveMatchingPattern( directive: <ERROR CLASS>, pattern: <ERROR CLASS>, unifier: <ERROR CLASS>)

abstract fun onFact(fact: <ERROR CLASS>)

abstract fun onRule(rule: <ERROR CLASS>)

abstract val patterns: List<<ERROR CLASS>>