Structural Complexity and Recursion-theoretic methods in Logic-Programming