Adicionando extensão prolog