Esto es así en el «Prolog puro» que estamos considerando, estrictamente lógico. Luego veremos que la implementación del lenguaje suele incorporar funciones aritméticas y la posibilidad de evaluarlas con un operador para ello, «is» .