solve/it.unibo.tuprolog.solve.rule

Package it.unibo.tuprolog.solve.rule

Types

Link copied to clipboard
abstract class RuleWrapper<C : ExecutionContext>(signature: Signature) : AbstractWrapper<<ERROR CLASS>>
Content copied to clipboard