solve/it.unibo.tuprolog.solve.rule

Package-level declarations

Types

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

A wrapper class for a Prolog-defined Rule, i.e. the clause-based counterpart of it.unibo.tuprolog.solve.primitive.PrimitiveWrapper/it.unibo.tuprolog.solve.function.FunctionWrapper. Used by it.unibo.tuprolog.solve.libraryOf to bundle a library-provided rule (implemented in Prolog itself, rather than in Kotlin) alongside primitives and functions.

Generated by Dokka
© 2026 Copyright