unify/it.unibo.tuprolog.unify

Package it.unibo.tuprolog.unify

Types

AbstractUnificator

abstract class AbstractUnificator @JvmOverloads constructor(val context: <ERROR CLASS> = empty()) : Unificator

CachedUnificator

class CachedUnificator(val decorated: Unificator, cacheCapacity: Int) : Unificator

sealed class Equation

A class representing an Equation of logic terms, to be unified;

interface Unificator

Functions

infix fun <ERROR CLASS>.eq(that: <ERROR CLASS>): Equation

Creates an equation with this and that terms

toAssignmentPair

fun Equation.toAssignmentPair(): Pair<<ERROR CLASS>, <ERROR CLASS>>

fun <ERROR CLASS>.toEquations(): List<Equation>

Transforms a Substitution into the list of corresponding Equations

fun Equation.toSubstitution(): <ERROR CLASS>

Transforms an Equation of a Var with a Term to the corresponding Substitution

fun Iterable<Equation>.toSubstitution(): <ERROR CLASS>

Creates a Substitution out of a Iterable of Equations assigning Vars to Terms