Weryfikacja rodzaju termu odbywa się w języku Prolog za pomocą następujących metapredykatów systemowych: