编译时测试用于'atoms'

Question

对prolog来说是全新的。到目前为止，尝试改变我的想法是一段有趣的旅程，所以感谢这里的任何帮助。

我试图为一组预定义的名称断言事实。例如，假设我在一个文件中有一组人[爱丽丝，鲍勃，…]。我想在其他文件中断言关于这些人的事实，但希望确保这些人存在，并且在加载/编译事实时进行检查(？(。

例如，假设我的列表中没有"chuck"，然后我断言：

用户：滑动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'.