solve-classic/it.unibo.tuprolog.solve.classic.stdlib.rule/Comma

Comma

object Comma : RuleWrapper<ClassicExecutionContext>

ISO conjunction ','/2: (A, B) :- A, B., i.e. the body is the tuple (A, B) itself, which toGoals unfolds back into the sequential goal stream A then B. Included in StateRuleSelection's transparentToCut set, so a cut occurring in A or B still cuts the enclosing clause's choice points, not some choice point local to this rule.

Properties

body

open override val Scope.body: Term

descriptionPair

val descriptionPair: Pair<Signature, Rule>

functor

val functor: String

head

open override val Scope.head: List<Term>

implementation

override val implementation: Rule

signature

val signature: Signature

Functions

toString

override fun toString(): String