object Univ: 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