Negation and Control in Prolog | EKB DL