Package it.unibo.tuprolog.unify

Types

AbstractUnificator
Link copied to clipboard
abstract class AbstractUnificator @JvmOverloads() constructor(context: Substitution) : Unificator
Content copied to clipboard
CachedUnificator
Link copied to clipboard
class CachedUnificator(decorated: Unificator, cacheCapacity: Int) : Unificator
Content copied to clipboard
Equation
Link copied to clipboard
sealed class Equation : TermConvertible, Castable<Equation>
Content copied to clipboard
A class representing an Equation of logic terms, to be unified;LHS stands for Left-Hand side and RHS stands for Right-Hand side, of the Equation
Unificator
Link copied to clipboard
interface Unificator
Content copied to clipboard

Functions

eq
Link copied to clipboard
infix fun Term.eq(that: Term): Equation
Content copied to clipboard
Creates an equation with this and that terms
toAssignmentPair
Link copied to clipboard
fun Equation.toAssignmentPair(): Pair<Var, Term>
Content copied to clipboard
toEquations
Link copied to clipboard
fun Substitution.toEquations(): List<Equation>
Content copied to clipboard
Transforms a Substitution into the list of corresponding Equations
toSubstitution
Link copied to clipboard
fun Equation.toSubstitution(): Substitution.Unifier
Content copied to clipboard
Transforms an Equation of a Var with a Term to the corresponding Substitution
fun Iterable<Equation>.toSubstitution(): Substitution
Content copied to clipboard
Creates a Substitution out of a Iterable of Equations assigning Vars to Terms