it.unibo.tuprolog.unify

package it.unibo.tuprolog.unify

Classes

Name Description
abstract class AbstractUnificator: Unificator, Any
class CachedUnificator: Unificator, Any
sealed class Equation<A : Term, B : Term> : ToTermConvertible, 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

toSubstitution

fun <A : Var, B : Term> Equation<A, B>.toSubstitution(): Substitution

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

Receiver

Name Description
Equation<A, B>

ReturnValue

Name Description
Substitution

toEquations

fun Substitution.toEquations(): List<Equation<Var, Term>>

Transforms a Substitution into the list of corresponding Equations

Receiver

Name Description
Substitution

ReturnValue

Name Description
List<Equation<Var, Term>>

eq

infix fun Term.eq(that: Term): Equation<Term, Term>

Creates an equation with this and that terms

Receiver

Name Description
Term

Parameters

Name Description
that: Term

ReturnValue

Name Description
Equation<Term, Term>

toSubstitution

fun <A : Var, B : Term> Iterable<Equation<A, B>>.toSubstitution(): Substitution

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

Receiver

Name Description
Iterable<Equation<A, B>>

ReturnValue

Name Description
Substitution