core/it.unibo.tuprolog.argumentation.core.primitives.graph.partial/GroundVars

GroundVars

object GroundVars : BinaryRelation.WithoutSideEffects<ExecutionContext>

groundVars(+Term, ?Grounded): Term with each of its variables replaced by an atom of its own ($var_0, ...): a term (with none of these atoms) unifies with Grounded if and only if it generalises Term

Properties

descriptionPair

val descriptionPair: Pair<Signature, Primitive>

functor

val functor: String

help

open val help: String

implementation

override val implementation: Primitive

signature

val signature: Signature