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
|