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

impliedBy

open infix fun Any.impliedBy(other: Any): Rule

Builds the Rule this :- other, i.e. other implies (is the body of a rule whose head is) this value.

Throws

if this value does not toTerm into a Struct (a legal rule head).

open fun Any.impliedBy(vararg other: Any): Rule

Vararg overload of impliedBy: wraps other into a single conjunction (via Tuple.wrapIfNeeded) before building the Rule, so a multi-goal body can be listed as separate arguments instead of chained with and.

Throws

IllegalArgumentException

if this value does not toTerm into a Struct.