SWI Prolog,如何将数据断言到txt文件

时间:2011-09-02 11:36:54

标签: prolog

这是我的示例源代码,我正在使用SWI Prolog,有人可以告诉我如何断言用户键入txt.file的数据。我想将数据保存到txt.file。

开始:-display_menu。

display_menu: - 重复,                写('\ n ======匹配合作伙伴系统========='),

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

选择(1): - get_userinfo

选择(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].

agevalidation(年龄): - 年龄< 18,                     写('\ n输入有效年龄..')。

1 个答案:

答案 0 :(得分:1)

检查IO predicates;你可能想用open / 3和close / 3打开/关闭一个文件,然后写/ 2。

像:

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