(1)
Faça um predicado que calcule o comprimento de uma lista.
Depois faça um que verifique o comprimento de uma lista.
Há como fazer um único predicado que execute as duas tarefas?

(2)
Faça um preedicado que calcule o fatorial de um número.
Faça um predicado que verifique o fatorial de um número.
Há como fazer um único predicado que combine as duas habilidades?

(3)
Ordene uma lista por quick sort.

(4)
Ordene uma lista por merge sort.