it.unibo.tuprolog.unify

package it.unibo.tuprolog.unify

Classes

Name Description
abstract class AbstractUnificator: Unificator, Any
class CachedUnificator: Unificator, Any
sealed class Equation: TermConvertible, Any

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

interface Unificator: Any

Subpackages

Name Description
package it.unibo.tuprolog.unify.exception

Methods

toAssignmentPair

fun Equation.toAssignmentPair(): Pair<Var, Term>

Receiver

Name Description
Equation

ReturnValue

Name Description
Pair<Var, Term>

toSubstitution

fun Equation.toSubstitution(): Unifier

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

Receiver

Name Description
Equation

ReturnValue

Name Description
Unifier

toEquations

fun Substitution.toEquations(): List<Equation>

Transforms a Substitution into the list of corresponding Equations

Receiver

Name Description
Substitution

ReturnValue

Name Description
List<Equation>

eq

infix fun Term.eq(that: Term): Equation

Creates an equation with this and that terms

Receiver

Name Description
Term

Parameters

Name Description
that: Term

ReturnValue

Name Description
Equation

toSubstitution

fun Iterable<Equation>.toSubstitution(): Substitution

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

Receiver

Name Description
Iterable<Equation>

ReturnValue

Name Description
Substitution