package it.unibo.tuprolog.collections
Classes
| Name | Description |
|---|---|
interface ClauseCollection: Iterable<Clause>, Any
|
|
interface ClauseMultiSet: ClauseCollection, Any
|
|
interface ClauseQueue: ClauseCollection, Any
|
|
interface MutableClauseCollection: ClauseCollection, Any
|
|
interface MutableClauseMultiSet: ClauseMultiSet, Any
|
|
interface MutableClauseQueue: ClauseQueue, Any
|
|
sealed class RetrieveResult<C : ClauseCollection> : Any
|
Subpackages
| Name | Description |
|---|---|
package it.unibo.tuprolog.collections.impl
|
|
package it.unibo.tuprolog.collections.rete
|