documentation
Toggle table of contents
1.5.1-dev02-c0569c38e
common
Target filter
common
Switch theme
Search in API
Skip to content
documentation
core
/
it.unibo.tuprolog.core
/
VariablesProvider
/
Companion
/
of
of
@
JvmStatic
@
JvmOverloads
fun
of
(
scope
:
Scope
=
Scope.empty()
)
:
VariablesProvider
Creates a new
VariablesProvider
backed by
scope
(an empty
Scope
, by default).