cleaning up the main prolog file