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

Comma

object Comma : RuleWrapper<ConcurrentExecutionContext>

Conjunction (,/2): rewrites (A, B) into the tuple A, B, so it is unfolded into two separate goals by it.unibo.tuprolog.solve.concurrent.fsm.toGoals/it.unibo.tuprolog.solve.concurrent.fsm.unfoldGoals and resolved sequentially, within the same branch, by it.unibo.tuprolog.solve.concurrent.fsm.StateGoalSelection. Unlike it.unibo.tuprolog.solve.concurrent.stdlib.primitive.Or, conjunction is not itself a source of concurrency: it is the alternatives at each conjunct's choice points that get explored in parallel, not the two sides of a comma.

Properties

open override val Scope.body: Term

descriptionPair

val descriptionPair: Pair<Signature, Rule>

val functor: String

open override val Scope.head: List<Term>

override val implementation: Rule

val signature: Signature

Functions

override fun toString(): String