Prolog built-in predicates Type testing var/1, nonvar/1, atom/1, integer/1, float/1, number/1, atomic/1, var/1 TemplatesTwoCols var(?term)