• Home
• it.unibo.tuprolog
• unify-metadata
• 0.17.1-dev0w+54dd0dd0
• source code
• UnificationUtils.kt

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

commonMain.it.unibo.tuprolog.unify.UnificationUtils.kt Maven / Gradle / Ivy

@file:JvmName("UnificationUtils")

package it.unibo.tuprolog.unify

import it.unibo.tuprolog.core.Substitution
import it.unibo.tuprolog.core.Term
import it.unibo.tuprolog.core.Var
import kotlin.jvm.JvmName

/** Transforms an [Equation] of a [Var] with a [Term] to the corresponding [Substitution] */
fun  Equation.toSubstitution(): Substitution =
    Substitution.of(this.toPair())

/** Creates a [Substitution] out of a [Iterable] of [Equation]s assigning [Var]s to [Term]s  */
fun  Iterable>.toSubstitution(): Substitution =
    Substitution.of(this.map { it.toPair() })

/** Transforms a [Substitution] into the list of corresponding [Equation]s */
fun Substitution.toEquations(): List> =
    this.entries.map { (variable, term) -> Equation.Assignment(variable, term) }

/** Creates an equation with [this] and [that] terms */
@Suppress("unused", "FunctionName")
infix fun Term.eq(that: Term): Equation = Equation.of(this, that)