Hola, creo que simplemente tienes que poner punto y coma (
detrás de cada una de las soluciones y a continuación pulsar "intro", y así sucesivamente hasta que el programa agote todas las posibles soluciones y te responda "No":
?- insertart([1,2,3],a,L).
L=[a,1,2,3];
L=[1,a,2,3];
L=[1,2,a,3];
L=[1,2,3,a];
No
Si la ejecución del predicado insertart/3 se produce dentro de un programa más amplio, o como parte de la ejecución de otro predicado mayor, para obtener todas las soluciones deberías emplear los predicados findall/3, bagof/3 ó setof/3. Para saber como se manejan y la diferencia entre cada uno de ellos, te aconsejo que acudas, caso de utilizar el intérprete
SWI-Prolog, al manual de referencia, concretamente a la sección "
4.30 Finding all Solutions to a Goal".
Mostrar Mensajes
