solve/it.unibo.tuprolog.solve.library/Library/contains

contains

open operator fun contains(signature: Signature): Boolean
Content copied to clipboard

Checks whether this library contains the provided signature.

The default implementation, checks for signature presence among primitives and theory clauses by indicator-like search


open operator fun contains(operator: <ERROR CLASS>): Boolean
Content copied to clipboard

Checks whether this library contains the definition of provided operator