package it.unibo.tuprolog.theory
Classes
Name | Description |
---|---|
interface MutableTheory: Theory, Any
|
|
sealed class RetractResult<T : Theory> : Any
|
A result given after a "retract" operation |
interface Theory: Iterable<Clause>, Any
|
Subpackages
Name | Description |
---|---|
package it.unibo.tuprolog.theory.parsing
|
|
package it.unibo.tuprolog.theory.impl
|