theory/it.unibo.tuprolog.theory

Package it.unibo.tuprolog.theory

Types

Link copied to clipboard
interface MutableTheory : Theory
Content copied to clipboard
Link copied to clipboard
sealed class RetractResult<out T : Theory>
Content copied to clipboard

A result given after a "retract" operation

Link copied to clipboard
interface Theory : Iterable<<ERROR CLASS>>
Content copied to clipboard