SWI Prolog，如何将数据断言为txt文件

这是我的示例源代码，我使用的是SWI Prolog，有人能告诉我如何断言用户输入到txt.file的数据吗。我想将数据保存到txt.file中

start  :-display_menu.

display_menu:- repeat,
               write('\n======Matching Partner System========='),
            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***Enter User Information***'),
          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):- write('\nEnter the height'),
                      read(Height),
                      Attr=[Height].

agevalidation(Age):-Age<18,
                    write('\nEnter valid age..').

start:-显示菜单。
显示菜单：-重复，
写入（'\n===匹配的合作伙伴系统======'），
写入（'\n1.输入用户信息'），
写入（'\n0.exits'），
写（“\n输入您的选择：”），
阅读（选择），
选择(选择),，
选择=0。
选择（1）：-获取用户信息。
选择（0）：-！。
获取用户信息：-写入（'\n***输入用户信息***'），
写入（'\n输入名称：'），
读（姓名），
写入（“\n输入性别：”），
读（性别），
写入（“\n输入年龄：”），
读（年龄），
不是（年龄验证（年龄）），
写入（'\n输入属性'），
获取属性（属性），
断言（userInfo（姓名、性别、年龄、属性））。
获取属性（Attr）：-write（“\n输入高度”），
读数（高度），
Attr=[高度]。
年龄验证（年龄）：-Age检查年龄；您可能需要使用open/3和close/3打开/关闭文件，然后写入/2

比如：

检查设备；您可能需要使用open/3和close/3打开/关闭文件，然后写入/2

比如：

请正确格式化代码，并尝试重新表述“如何断言用户输入到txt.file的数据。我想将数据保存到txt.file。”。AFAIU是否要将用户输入保存到output.txt文件？请正确格式化代码，并尝试重新表述“如何断言用户输入到txt.file的数据。我想将数据保存到txt.file。”。AFAIU是否要将用户输入保存到output.txt文件？我应该将“打开”放在哪里？我应该将“打开”放在哪里？
open('myfile.txt', write, S),
write(S,Data),
close(S).