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