Automated Verification of Prolog Programs