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

rem

open infix operator fun Term.rem(other: Any): Struct

Builds a rem/2 Struct (integer remainder).

open infix operator fun Number.rem(other: Any): Struct

open infix operator fun Boolean.rem(other: Any): Struct

open infix operator fun Char.rem(other: Any): Struct

open infix operator fun String.rem(other: Any): Struct

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