Prolog - 1 Predicados de sistema para tipos integer( X ) X é um inteiro atom( X ) X é um átomo atomic( X ) X é um inteiro ou um átomo qeste programa.