BaseLogicProgrammingScope

Root mixin of the Prolog DSL scope hierarchy: extends Scope (so every term-building factory method it exposes is directly available) with a termificator and the toTerm extension it powers, letting every other mixin in the hierarchy (see MinimalLogicProgrammingScope, LogicProgrammingScopeWithOperators, ...) accept a plain Any wherever a Term is expected.

S is the concrete, self-referential scope type (an F-bounded type parameter) that newScope returns — each mixin in the hierarchy is generic over it so that chaining calls (e.g. newScope().someBuilder { ... }) keeps resolving to the richest scope type available, rather than widening to this bare mixin.

Inheritors