Pokemon type lookup in Prolog