man(alan).
man(john).
man(george).

list_all:-
  man(X),
  write(X),
  fail.

Pregunta?-list_all da la respuesta:

alan
john
george
false

Así que tengo a todos los hombres de la base de datos. ¡Funciona! Mi problema: quiero obtener la misma lista, pero exportar a.txt expediente. Intenté usar este código para hacer esto:

program  :-
  open('file.txt',write,X),
  current_output(CO),
  set_output(X),
  man(X),
  write(X),
  fail,
  close(X),
  set_output(CO).

El efecto es: Programa da respuesta.false y texto:alan john george no están en.txt archivo - debido a usarfail predicado.

¿Hay una opción para obtener todos los elementos de la lista en un.txt archivo (escribiendo todas las opciones que están en la base de datos) sin usarfail ¿predicado?

¿Cómo puedo hacer esto? Por favor, ayúdame.