Scoping Constructs in Logic Programming: Implementation Problems and their Solution