core/it.unibo.tuprolog.argumentation.core.primitives/PrimitiveWithSignature

PrimitiveWithSignature

interface PrimitiveWithSignature : Primitive

A primitive that knows the predicate it implements

Properties

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

Functions

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