AbstractSolver
constructor(unificator: Unificator, libraries: Runtime, flags: FlagStore, initialStaticKb: Theory, initialDynamicKb: Theory, inputChannels: InputStore, outputChannels: OutputStore, trustKb: Boolean = false)
Parameters
trustKb
if true, initialStaticKb/initialDynamicKb are assumed to have already been partitioned and their directives already run, skipping initializeKb.
Type Parameters
E
the concrete ExecutionContext subtype used by the resolution strategy.