Tomy, a prolog bot for IRC