createChild
fun PrologExecutionContext.createChild(currentGoal: Struct = this.currentGoal!!.castToStruct()): PrologExecutionContext
Pushes a new child frame onto the execution-context stack for the current goal, becoming its own PrologExecutionContext.goals (arg2p: currentGoal is the current goal with the substitution applied, when the caller already has it)