solve/it.unibo.tuprolog.solve.directives/DirectiveSelector

DirectiveSelector

interface DirectiveSelector : DirectiveListener

The concrete DirectiveListener recognizing every directive pattern 2P-Kt gives special treatment to when loading a knowledge base: dynamic/1, static/1 (declaring a predicate's storage), initialization/1/solve/1 (a goal to run at load time), include/1/load/1 (another theory to load), op/3 (operator declaration), and set_flag/2/set_prolog_flag/2 (flag assignment). Each recognized pattern is routed to the corresponding on* callback (onDynamic, onStatic, onSolve, onLoad, onOperator, onSetFlag); anything else falls back to ClauseListener.onDirective.

Implemented by ClausePartitioner, which is what actually collects the callbacks' arguments into a ClausePartition.

Inheritors

ClausePartitioner

Types

Companion

object Companion

Properties

patterns

open override val patterns: List<Term>

The directive-body patterns recognized by this listener, tried in order.

unificator

abstract val unificator: Unificator

The Unificator used to match a directive's body against patterns.

Functions

listen

open override fun listen(clause: Clause)

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

listenDirective

open fun listenDirective(directive: Directive)

Tries to unify directive's body against each of patterns, in order; on the first match, delegates to listenDirectiveMatchingPattern, otherwise falls back to ClauseListener.onDirective.