dsl-core/it.unibo.tuprolog.dsl/LogicProgrammingScopeWithOperators/plus

plus

open operator fun Term.plus(other: Any): Struct

Builds a +/2 Struct, e.g. 1 + "X".

open operator fun Number.plus(other: Any): Struct

open operator fun Boolean.plus(other: Any): Struct

open operator fun Char.plus(other: Any): Struct

Same as the Term receiver overload of plus above, for a non-Term left-hand side.