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

div

open operator fun Term.div(other: Any): Indicator

Builds an Indicator out of this Term (the name) and other (the arity), e.g. "foo" / 2. Note this overload does not build a Prolog //2 struct — use structOf directly for that.

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

Builds a //2 Struct (Prolog division), e.g. "X" / 2. Unlike the Term receiver overload of div above, this does not build an Indicator.

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

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

open operator fun String.div(other: Any): Struct

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