documentation
Toggle table of contents
3.0.5
common
Target filter
common
Switch theme
Search in API
Skip to content
documentation
dsl-core
/
it.unibo.tuprolog.dsl
/
BaseLogicProgrammingScope
/
termificator
termificator
abstract
val
termificator
:
Termificator
The
Termificator
used by
toTerm
to convert arbitrary values into
Term
s within this scope.