A Top Down Interpreter for LPAD and CP-logic