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).