object UnifiesWith: Functional<ExecutionContext>
Methods
computeOneSubstitution
protected fun Request<ExecutionContext>.computeOneSubstitution(first: Term, second: Term): Substitution
Receiver
Name | Description |
---|---|
Request<ExecutionContext>
|
ReturnValue
Name | Description |
---|---|
Substitution
|
Implementation of '='/2 predicate