replace
fun ClassicExecutionContext.replaceWithChildAppendingRulesAndChoicePoints(rules: Cursor<out Rule>, inferProcedureFromGoals: Boolean = true): ClassicExecutionContext
Content copied to clipboard