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

get

abstract operator fun get(clause: Clause): Sequence<Clause>

Retrieves the Sequence of clauses in this theory that could unify against the given clause

abstract operator fun get(head: Struct): Sequence<Rule>

Retrieves the Sequence of Rules in this theory whose head could unify against the given head

abstract operator fun get(indicator: Indicator): Sequence<Rule>

Retrieves all the Rules in this theory having the specified indicator as head.

Throws

IllegalArgumentException

if indicator is not well-formed