First task on Prolog was finished