VariablesProvider

Shorthand for anonymous, letting Kotlin code refer to a fresh anonymous variable as _, mirroring Prolog's own syntax.

Shorthand for varOf("A").

Shorthand for varOf("B").

Shorthand for varOf("C").

Shorthand for varOf("D").

Shorthand for varOf("E").

Shorthand for the empty logic block, i.e. EmptyBlock.

Shorthand for the empty logic list, i.e. EmptyList.

Shorthand for varOf("F").

Shorthand for Truth.FAIL.

Shorthand for varOf("G").

Shorthand for varOf("H").

Shorthand for varOf("I").

Shorthand for varOf("J").

Shorthand for varOf("K").

Shorthand for varOf("L").

Shorthand for varOf("M").

Shorthand for varOf("N").

Shorthand for varOf("O").

Shorthand for varOf("P").

Shorthand for varOf("Q").

Shorthand for varOf("R").

Shorthand for varOf("S").

The underlying Scope this VariablesProvider delegates variable creation/caching to.

Shorthand for varOf("T").

Shorthand for varOf("U").

Shorthand for varOf("V").

The Variables created so far through this Scope, indexed by their simple Var.name.

Shorthand for varOf("W").

Shorthand for varOf("X").

Shorthand for varOf("Y").

Shorthand for varOf("Z").

Creates a fresh, unrelated anonymous Var. See Var.anonymous.

Creates an Atom with the given value. See Atom.of.

Creates a Block out of terms. See Block.of.

Creates a Clause with the given (possibly null) head and body. See Clause.of.

Creates a Cons with the given head and tail. See Cons.of.

Checks whether variable was created through this Scope.

Checks whether a variable named variable was created through this Scope.

Creates a copy of this VariablesProvider, backed by scope (defaulting to this one's own scope).

Creates a Directive with the given body. See Directive.of.

Creates a Fact with the given head. See Fact.of.

Retrieves the Var named variable previously created through this Scope, or null if none exists yet.

Property-delegate hook letting val x by variablesProvider resolve to variablesProvider.varOf("X").

Creates an Indicator with the given name and arity. See Indicator.of.

Creates an Integer out of value. See Integer.of.

Parses value into an Integer. See Integer.of.

Parses value, expressed in the given radix, into an Integer. See Integer.of.

Creates a (possibly partial) logic LogicList out of terms, terminated by last. See List.from.

Creates a logic LogicList out of terms. See List.of.

Creates an Integer out of value. See Numeric.of.

Creates a Real out of value. See Numeric.of.

Creates a Numeric out of value. See Numeric.of.

Parses value into a Numeric, preferring Integer and falling back to Real. See Numeric.of.

Creates a Real out of value. See Real.of.

Parses value into a Real. See Real.of.

Creates a Rule with the given head and body. See Rule.of.

Creates a Struct with the given functor and args. See Struct.of.

Creates a Substitution out of the given Var-Term.

Creates a Substitution out of the given Var.name-Term.

Creates a Truth out of value. See Truth.of.

Creates a Tuple out of terms. See Tuple.of.

Creates a Substitution.Unifier out of the given Var-Term.

Creates a Substitution.Unifier out of the given Var.name-Term.

Retrieves the Var named name, creating and caching a new one on first request.

Alias for anonymous.

Runs lambda with this Scope as its receiver, for its side effects, then returns this same Scope. Useful to populate a Scope with variables/terms without capturing the result of the last expression.

Runs lambda with this Scope as its receiver, returning whatever lambda produces. This is the idiomatic way of using a Scope: Scope.empty().with { ruleOf(...) }, or more concisely Scope.empty { ruleOf(...) } via the companion overloads.