Prolog and Para 1 translated