DirectiveListener

interface DirectiveListener: ClauseListener, Any

Fields

Name Description
abstract patterns: List<Term>

Methods

onDirectiveMatchingPattern

abstract fun onDirectiveMatchingPattern(directive: Directive, pattern: Term, unifier: Unifier)

Parameters

Name Description
directive: Directive
pattern: Term
unifier: Unifier

ReturnValue

Name Description
Unit

listenDirective

open fun listenDirective(directive: Directive)

Parameters

Name Description
directive: Directive

ReturnValue

Name Description
Unit

listenDirectiveMatchingPattern

open fun listenDirectiveMatchingPattern(directive: Directive, pattern: Term, unifier: Unifier)

Parameters

Name Description
directive: Directive
pattern: Term
unifier: Unifier

ReturnValue

Name Description
Unit

listen

open fun listen(clause: Clause)

Parameters

Name Description
clause: Clause

ReturnValue

Name Description
Unit