Package it.unibo.tuprolog.collections

Types

ClauseCollection

interface ClauseCollection : Iterable<Clause>

ClauseMultiSet

interface ClauseMultiSet : ClauseCollection

ClauseQueue

interface ClauseQueue : ClauseCollection

MutableClauseCollection

interface MutableClauseCollection : ClauseCollection

MutableClauseMultiSet

interface MutableClauseMultiSet : ClauseMultiSet

MutableClauseQueue

interface MutableClauseQueue : ClauseQueue

RetrieveResult

sealed class RetrieveResult<C : ClauseCollection>