Pautas

• No es necesario verificar la buena formación de los argumentos. Por ejemplo, que las listas sean efectivamente listas, que contengan elementos esperados y que no tengan repetidos en el caso de conjuntos.
• Para resolver los ejercicios se pueden usar todos los predicados built-in de SWI-Prolog, pero no el operador cut (!).