Question

对prolog来说是全新的。到目前为止，尝试改变我的想法很有趣，因此，感谢您的帮助。

我正在尝试为一组预定义的名称断言事实。例如，假设我在一个文件中有一组人[alice，bob，...]。我想在其他文件中断言有关这些伙计的事实，但想确保这些伙计存在并且在事实被加载/编译时进行检查（？）。

例如，假设我在列表中没有'chuck'并断言：

用户：swipl app.pl

?- full_name(chuck, "Charlie Steel").

应该导致错误。

我能做到的最好的方法是什么？

Answer 1

所以，这是我想出的代码：

person(deborah).
person(tony).

read_my_file(Filename) :-
    open(Filename, read, In),
    read_my_file1(In),
    close(In).

read_my_file1(In) :-
    read(In, Term),
    (  Term == end_of_file
    -> true
    ;  assert_or_abort(Term),
       read_my_file1(In)
    ).

assert_or_abort(Term) :-
    (  full_name(Person, Name) = Term
    ->  (  person(Person)
        -> assertz(full_name(Person, Name))
        ;  format(user, '~w is not a person I recognize~n', [Person])
        )
    ;  format(user, '~w is not a term I know how to parse~n', [Term])
    ).

这里的技巧是使用read/2从流中获取Prolog术语，然后对其进行一些确定性测试，从而在assert_or_abort/1中嵌套条件结构。假设您有一个如下所示的输入文件：

full_name(deborah, 'Deborah Ismyname').
full_name(chuck, 'Charlie Steel').
full_name(this, has, too, many, arguments).
squant.

您将获得以下输出：

?- read_my_file('foo.txt').
chuck is not a person I recognize
full_name(this,has,too,many,arguments) is not a term I know how to parse
squant is not a term I know how to parse
true.

?- full_name(X,Y).
X = deborah,
Y = 'Deborah Ismyname'.

为“原子”编译时间测试

1 个答案: