commonMain.it.unibo.tuprolog.collections.rete.custom.TopLevelReteNode.kt Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of theory-jvm Show documentation

In-memory storage and indexing facilities for ordered and unordered knowledge bases composed by logic clauses

There is a newer version: 1.0.4

package it.unibo.tuprolog.collections.rete.custom

import it.unibo.tuprolog.core.Clause

/**Interface aimed at marking a particular member of the [ReteTree] as capable of enough
 * foreseeing to take strong decisions upon the actions to be performed on the subtrees it branches on
 */
internal interface TopLevelReteNode : ReteNode {
    /**Retracts the first matching occurrence of the given [Clause] from this [ReteTree]*/
    fun retractFirst(clause: Clause): Sequence
}