core/it.unibo.tuprolog.core/Scope/Companion/empty

empty

fun empty(): Scope

Creates a new, empty Scope, with no Variables cached yet.

fun <R> empty(lambda: Scope.() -> R): R

Shorthand for empty().with(lambda). See with.