Obsérvese que, en PROLOG, el símbolo ":-" separa la conclusión de las condiciones.