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

if

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

Alias of impliedBy reading in head-first order: head ifbody builds the Rule head :- body.

Throws

IllegalArgumentException

if this value does not toTerm into a Struct.

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

Vararg overload of if: head.if(body1, body2, ...) builds the Rule head :- (body1, body2, ...).

Throws

IllegalArgumentException

if this value does not toTerm into a Struct.