Пролог SWI, как закрепить данные в текстовом файле

Question

Это мой пример исходного кода, я использую SWI Prolog, может кто-нибудь сказать мне, как утверждать данные, которые пользователь вводит в txt.file.Я хочу сохранить данные в txt.file.

start: -display_menu.

display_menu: - повторить, написать ('\ n ====== Соответствующая система партнеров ========= '),

            write('\n1.Enter user information'),
            write('\n0.exits'),
            write('\nEnter your choice:'),
            read(Choice),
            selection(Choice),
            Choice=0.

selection (1): - get_userinfo.

selection (0): -!.

get_userinfo: -write('\ n * Введите информацию о пользователе *'),

          write('\nEnter Name:'),
          read(Name),
          write('\nEnter Gender:'),
          read(Gender),
          write('\nEnter Age:'),
         read(Age),
         not(agevalidation(Age)),
         write('\nEnter the attributes'),
         get_attribute(Attr),
         assert(userInfo(Name,Gender,Age,Attr)).

get_attribute (Attr): - запись ('\ nВведите высоту'),

                  read(Height),
                  Attr=[Height].

подтверждение возраста (возраст): - возраст <18, напишите ('\ nВведите действительный возраст ..'). </p>

Answer 1

отметьте предикаты IO ; вы, вероятно, захотите использовать open / 3 и close / 3, чтобы открыть / закрыть файл, а затем напишите / 2.

как:

open('myfile.txt', write, S),
write(S,Data),
close(S).