Generalized Stack-copying for And-Or Parallel Execution of Full Prolog