CommonRules

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.

Consumed by CommonBuiltins to populate the prolog.lang library's it.unibo.tuprolog.solve.library.Library.clauses.