We already have `number` and `atom`, for example. Students (or their LLMs) are trying to use also `atomic` and maybe others. An overview of candidates is here: https://www.swi-prolog.org/pldoc/man?section=typetest
We already have
numberandatom, for example.Students (or their LLMs) are trying to use also
atomicand maybe others.An overview of candidates is here: https://www.swi-prolog.org/pldoc/man?section=typetest