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
|
toSubstitution
fun Equation.toSubstitution(): Unifier
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
|
Transforms an Equation of a Var with a Term to the corresponding Substitution