core/it.unibo.tuprolog.argumentation.core.primitives.utils/AssertAll

AssertAll

object AssertAll : Primitive

assertAll(+Clauses): each of Clauses asserted in the context

Properties

Link copied to clipboard
open val help: String
Link copied to clipboard
val signature: Signature

Functions

Link copied to clipboard
open override fun solve(request: Solve.Request<ExecutionContext>): Sequence<Solve.Response>
Generated by Dokka
arg2p