object AtomConcat: Functional<ExecutionContext>
Methods
computeOneSubstitution
protected fun Request<ExecutionContext>.computeOneSubstitution(first: Term, second: Term, third: Term): Substitution
Receiver
| Name | Description |
|---|---|
Request<ExecutionContext>
|
ReturnValue
| Name | Description |
|---|---|
Substitution
|
atom_concat(ab, cd, abcd).