createChild
fun PrologExecutionContext.createChild(inferProcedureFromGoals: Boolean = true): PrologExecutionContext
Pushes a new child frame onto the execution-context stack for the current goal, becoming its own PrologExecutionContext.goals.