theory/it.unibo.tuprolog.theory/Theory/get

get

abstract operator fun get(clause: <ERROR CLASS>): Sequence<<ERROR CLASS>>
Content copied to clipboard

Retrieves matching clauses from this theory


abstract operator fun get(head: <ERROR CLASS>): Sequence<<ERROR CLASS>>
Content copied to clipboard

Retrieves matching rules from this theory


abstract operator fun get(indicator: <ERROR CLASS>): Sequence<<ERROR CLASS>>
Content copied to clipboard

Retrieves all rules in this theory having the specified Indicator as head; this should be Indicator.isWellFormed