Package it.unibo.tuprolog.theory

Types

MutableTheory
Link copied to clipboard
interface MutableTheory : Theory
Content copied to clipboard
RetractResult
Link copied to clipboard
sealed class RetractResult<out T : Theory>
Content copied to clipboard
A result given after a "retract" operation
Theory
Link copied to clipboard
interface Theory : Iterable<Clause> , Taggable<Theory>
Content copied to clipboard