Added missing prolog parser