En la lógica de primer orden, los predicados son tratados como funciones.