theory/it.unibo.tuprolog.collections/ClauseCollection/contains

contains

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

Tells if the ClauseCollection contains the given Clause