ClassicExecutionContext
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(), rules: Cursor<out Rule> = Cursor.empty(), primitives: Cursor<out Solve.Response> = Cursor.empty(), startTime: TimeInstant, maxDuration: TimeDuration = TimeDuration.MAX_VALUE, choicePoints: ChoicePointContext? = null, parent: ClassicExecutionContext? = null, depth: Int = 0, step: Long = 0, relevantVariables: Set<Var> = emptySet())