Package-level declarations

The prolog.lang standard it.unibo.tuprolog.solve.library.Library: the ISO-mandated core built-in predicates, arithmetic functions, and control-construct rules every 2P-Kt solver is expected to ship with.

Registry of every standard ISO arithmetic LogicFunction (as used by is/2 and arithmetic comparison predicates), each implemented as a FunctionWrapper under it.unibo.tuprolog.solve.stdlib.function (e.g. it.unibo.tuprolog.solve.stdlib.function.Addition, it.unibo.tuprolog.solve.stdlib.function.SquareRoot).

Registry of every standard ISO built-in Primitive (e.g. assert/1, functor/3, write/1, term-comparison predicates), each implemented as a PrimitiveWrapper under it.unibo.tuprolog.solve.stdlib.primitive.

Registry of every standard control-construct predicate implemented as a Prolog clause rather than a Kotlin it.unibo.tuprolog.solve.primitive.Primitive -- e.g. \+/1 (it.unibo.tuprolog.solve.stdlib.rule.Not), ;/2 (it.unibo.tuprolog.solve.stdlib.rule.Semicolon), ->/2 (it.unibo.tuprolog.solve.stdlib.rule.Arrow), member/2, append/3, once/1, and the *_prolog_flag/2 predicates -- each implemented as a RuleWrapper under it.unibo.tuprolog.solve.stdlib.rule.