Prolog Changes