dsl-core/it.unibo.tuprolog.dsl/LogicProgrammingScopeWithVariables

LogicProgrammingScopeWithVariables

interface LogicProgrammingScopeWithVariables<S : LogicProgrammingScopeWithVariables<S>> : BaseLogicProgrammingScope<S> , VariablesProvider

Adds fresh-variable creation to the scope by mixing in VariablesProvider (delegating to variablesProvider), so idiomatic single-letter variables (A, B, C, ... from VariablesProvider) and by-delegated ones (val x by variablesProvider) are available directly inside a logicProgramming block, alongside every other BaseLogicProgrammingScope mixin.

Inheritors

Properties

Link copied to clipboard
open val _: Var
Link copied to clipboard
abstract val A: Var
Link copied to clipboard
abstract val B: Var
Link copied to clipboard
abstract val C: Var
Link copied to clipboard
abstract val D: Var
Link copied to clipboard
abstract val E: Var
Link copied to clipboard
abstract val emptyBlock: EmptyBlock
Link copied to clipboard
abstract val emptyLogicList: EmptyList
Link copied to clipboard
abstract val F: Var
Link copied to clipboard
abstract val fail: Truth
Link copied to clipboard
abstract val G: Var
Link copied to clipboard
abstract val H: Var
Link copied to clipboard
abstract val I: Var
Link copied to clipboard
abstract val J: Var
Link copied to clipboard
abstract val K: Var
Link copied to clipboard
abstract val L: Var
Link copied to clipboard
abstract val M: Var
Link copied to clipboard
abstract val N: Var
Link copied to clipboard
abstract val O: Var
Link copied to clipboard
abstract val P: Var
Link copied to clipboard
abstract val Q: Var
Link copied to clipboard
abstract val R: Var
Link copied to clipboard
abstract val S: Var
Link copied to clipboard
abstract val scope: Scope
Link copied to clipboard
abstract val T: Var
Link copied to clipboard
abstract val termificator: Termificator

The Termificator used by toTerm to convert arbitrary values into Terms within this scope.

Link copied to clipboard
abstract val U: Var
Link copied to clipboard
abstract val V: Var
Link copied to clipboard
abstract val variables: Map<String, Var>
Link copied to clipboard
abstract val variablesProvider: VariablesProvider

The VariablesProvider this scope's own VariablesProvider methods delegate to.

Link copied to clipboard
abstract val W: Var
Link copied to clipboard
abstract val X: Var
Link copied to clipboard
abstract val Y: Var
Link copied to clipboard
abstract val Z: Var

Functions

Link copied to clipboard
abstract fun anonymous(): Var
Link copied to clipboard
abstract fun atomOf(value: Char): Atom
abstract fun atomOf(value: String): Atom
Link copied to clipboard
abstract fun blockOf(terms: Iterable<Term>): Block
abstract fun blockOf(terms: Sequence<Term>): Block
abstract fun blockOf(vararg terms: Term): Block
Link copied to clipboard
abstract fun clauseOf(head: Struct?, vararg body: Term): Clause
Link copied to clipboard
abstract fun consOf(head: Term, tail: Term): Cons
Link copied to clipboard
abstract operator fun contains(variable: Var): Boolean
abstract operator fun contains(variable: String): Boolean
Link copied to clipboard
abstract override fun copy(scope: Scope): S

Creates a copy of this scope, backed by scope (see VariablesProvider.copy).

Link copied to clipboard
abstract fun directiveOf(body1: Term, vararg body: Term): Directive
Link copied to clipboard
abstract fun factOf(head: Struct): Fact
Link copied to clipboard
abstract operator fun get(variable: String): Var?
Link copied to clipboard
abstract operator fun getValue(thisRef: Any?, property: KProperty<*>): Var
Link copied to clipboard
abstract fun indicatorOf(name: Term, arity: Term): Indicator
abstract fun indicatorOf(name: String, arity: Int): Indicator
Link copied to clipboard
abstract fun intOf(value: Byte): Integer
abstract fun intOf(value: Int): Integer
abstract fun intOf(value: Long): Integer
abstract fun intOf(value: Short): Integer
abstract fun intOf(value: String): Integer
abstract fun intOf(value: BigInteger): Integer
abstract fun intOf(value: String, radix: Int): Integer
Link copied to clipboard
abstract fun logicListFrom(terms: Iterable<Term>, last: Term?): List
abstract fun logicListFrom(terms: Sequence<Term>, last: Term?): List
abstract fun logicListFrom(vararg terms: Term, last: Term?): List
Link copied to clipboard
abstract fun logicListOf(terms: Iterable<Term>): List
abstract fun logicListOf(terms: Sequence<Term>): List
abstract fun logicListOf(vararg terms: Term): List
Link copied to clipboard
abstract fun newScope(): S

Creates a fresh scope of type S, backed by a brand-new, empty Scope — so that it.unibo.tuprolog.core.Vars created within it are unrelated to the ones created through this scope. Used by builders such as MinimalLogicProgrammingScope.rule/MinimalLogicProgrammingScope.fact to isolate each clause's variables.

Link copied to clipboard
abstract fun numOf(value: Byte): Integer
abstract fun numOf(value: Double): Real
abstract fun numOf(value: Float): Real
abstract fun numOf(value: Int): Integer
abstract fun numOf(value: Long): Integer
abstract fun numOf(value: Number): Numeric
abstract fun numOf(value: Short): Integer
abstract fun numOf(value: String): Numeric
abstract fun numOf(value: BigDecimal): Real
abstract fun numOf(value: BigInteger): Integer
Link copied to clipboard
abstract fun realOf(value: Double): Real
abstract fun realOf(value: Float): Real
abstract fun realOf(value: String): Real
abstract fun realOf(value: BigDecimal): Real
Link copied to clipboard
abstract fun ruleOf(head: Struct, body1: Term, vararg body: Term): Rule
Link copied to clipboard
abstract fun structOf(functor: String, args: Iterable<Term>): Struct
abstract fun structOf(functor: String, args: List<Term>): Struct
abstract fun structOf(functor: String, args: Sequence<Term>): Struct
abstract fun structOf(functor: String, vararg args: Term): Struct
Link copied to clipboard
abstract fun substitutionOf(assignments: Iterable<Pair<Var, Term>>): Substitution
abstract fun substitutionOf(assignments: Sequence<Pair<Var, Term>>): Substitution
abstract fun substitutionOf(vararg assignments: Pair<String, Term>): Substitution
Link copied to clipboard
open fun <T : Term> Any.toSpecificSubTypeOfTerm(type: KClass<T>, converter: (Struct) -> T): T

Converts this value into a Term (via toTerm) and coerces it to type: returned as-is if it already is a type, passed through converter if it is a Struct (e.g. to turn a plain Struct into a Fact), or rejected otherwise.

Link copied to clipboard
open fun Any.toTerm(): Term

Converts this value into a Term, via termificator. See Termificator.termify for the conversion rules.

Link copied to clipboard
abstract fun truthOf(value: Boolean): Truth
Link copied to clipboard
abstract fun tupleOf(terms: Iterable<Term>): Tuple
abstract fun tupleOf(terms: Sequence<Term>): Tuple
abstract fun tupleOf(vararg terms: Term): Tuple
Link copied to clipboard
abstract fun unifierOf(assignments: Iterable<Pair<Var, Term>>): Substitution.Unifier
abstract fun unifierOf(assignments: Sequence<Pair<Var, Term>>): Substitution.Unifier
abstract fun unifierOf(vararg assignments: Pair<String, Term>): Substitution.Unifier
Link copied to clipboard
abstract fun varOf(name: Char): Var
abstract fun varOf(name: String): Var
Link copied to clipboard
abstract fun whatever(): Var
Link copied to clipboard
abstract fun where(lambda: Scope.() -> Unit): Scope
Link copied to clipboard
abstract fun <R> with(lambda: Scope.() -> R): R
Generated by Dokka
© 2026 Copyright