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

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

Вопрос?-list_all дает ответ:

alan
john
george
false

Итак, у меня есть все мужчины из базы данных. Оно работает! Моя проблема: я хочу получить тот же список, но экспортировать в.txt файл. Я пытался использовать этот код для этого:

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

Эффект такой: программа дает ответfalse и текст:alan john george не в.txt файл - из-за использованияfail сказуемое.

Есть ли возможность получить все элементы в списке в.txt файл (запись всех параметров в базе данных) без использованияfail предикат?

Как я могу это сделать? Пожалуйста, помогите мне.