En el contexto del primer laboratorio:
Uso de predicados existentes en prolog (append, member). Son validos?
Si un predicado creado por nosotros devuelve por varios caminos el mismo resultado (en concreto, el ordenada devuelve varias veces la misma lista) pero si consultamos con el ejemplo de la letra funciona OK. Es considerado un error?
Muchas gracias!