Prolog finished