ConcurrentExecutionContext
constructor(procedure: Struct? = null, unificator: Unificator = Unificator.default, libraries: Runtime = Runtime.empty(), flags: FlagStore = FlagStore.empty(), staticKb: Theory = Theory.empty(unificator), dynamicKb: MutableTheory = MutableTheory.empty(unificator), operators: OperatorSet = getAllOperators(libraries, staticKb, dynamicKb).toOperatorSet(), inputChannels: InputStore = InputStore.fromStandard(), outputChannels: OutputStore = OutputStore.fromStandard(), customData: CustomDataStore = CustomDataStore.empty(), substitution: Substitution.Unifier = Substitution.empty(), query: Struct = Truth.TRUE, goals: Cursor<out Term> = Cursor.empty(), rule: Rule? = null, primitive: Solve.Response? = null, startTime: TimeInstant, maxDuration: TimeDuration = TimeDuration.MAX_VALUE, parent: ConcurrentExecutionContext? = null, depth: Int = 0, step: Long = 0)