add prolog katas