object NotUnifiableWith: Predicative<ExecutionContext>
Methods
compute
protected fun Request<ExecutionContext>.compute(first: Term, second: Term): Boolean
Receiver
| Name | Description |
|---|---|
Request<ExecutionContext>
|
ReturnValue
| Name | Description |
|---|---|
Boolean
|
Implementation of '\='/2 predicate