ClassicExecutionContext

fun ClassicExecutionContext(procedure: Struct? = null, libraries: Libraries = Libraries.empty(), flags: FlagStore = FlagStore.empty(), staticKb: Theory = Theory.empty(), dynamicKb: MutableTheory = MutableTheory.empty(), 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 = 0, maxDuration: TimeDuration = TimeDuration.MAX_VALUE, choicePoints: ChoicePointContext? = null, parent: ClassicExecutionContext? = null, depth: Int = 0, step: Long = 0)