first prolog app