ISO-Prolog "Marias y Arañas"

Se recuerda que sí se pueden usar los predicados predefinidos y de las librerías de Prolog,
incluida aritmética de Prolog, corte, etc.

Una vez nos pongamos en contacto, te digo los predicados que son, solo 5!