Package-level declarations

Command-line entry point of the :full module -- the "batteries-included" umbrella artifact that depends on every other 2P-Kt module (except the test-support and examples ones -- see this module's build.gradle.kts), so an embedder can pull in the whole framework through a single dependency instead of picking individual modules one by one.

JS implementation: delegates to it.unibo.tuprolog.ui.repl's own JS entry point (see its Repl.kt), which builds it.unibo.tuprolog.ui.repl.TuPrologCmd with its solve subcommand and hands it args -- same caveat as the :repl module's own JS build: -T/--theory support is not functional yet on this platform (see it.unibo.tuprolog.ui.repl.isReadableFile/loadTheoryFromFile).

JVM implementation: delegates to it.unibo.tuprolog.ui.repl's own JVM entry point (see its Main.kt), which builds it.unibo.tuprolog.ui.repl.TuPrologCmd with its solve subcommand and hands it args -- i.e. running this is equivalent to running the standalone :repl module's own JVM entry point.