commonMain.it.unibo.tuprolog.solve.stdlib.primitive.CurrentOp.kt Maven / Gradle / Ivy
package it.unibo.tuprolog.solve.stdlib.primitive
import it.unibo.tuprolog.core.Atom
import it.unibo.tuprolog.core.Integer
import it.unibo.tuprolog.core.Substitution
import it.unibo.tuprolog.core.Term
import it.unibo.tuprolog.solve.ExecutionContext
import it.unibo.tuprolog.solve.primitive.Solve
import it.unibo.tuprolog.solve.primitive.TernaryRelation
import it.unibo.tuprolog.unify.Unificator.Companion.mguWith
object CurrentOp : TernaryRelation.WithoutSideEffects("current_op") {
override fun Solve.Request.computeAllSubstitutions(
first: Term,
second: Term,
third: Term
): Sequence =
context.operators.asSequence().map {
listOf(
first mguWith Integer.of(it.priority),
second mguWith it.specifier.toTerm(),
third mguWith Atom.of(it.functor)
)
}.filter {
it.all { sub -> sub is Substitution.Unifier }
}.map { it.reduce(Substitution::plus) }
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy