No se pueden poner dos cortes seguidos, por ejemplo "p(a) :- !, !."

El corte sólo descarta soluciones si se ejecuta

El corte es local al predicado y no elimina soluciones de los predicados a los que llama

Poner un corte al final de la última cláusula está recomendado por eficiencia