Implementation Techniques for Scoping Constructs in Logic Programming