Prolog脚本未正确加载

Question

我试图将hw4.pl加载到swipl中，但它似乎无法正常工作。我试过了

swipl -s hw4.pl

并在prolog shell中，

[hw4]. 
['hw4'].
consult('hw4.pl').

它会说＆＃34; true＆＃34;，但我没有看到＆＃34;遵守＆＃34;线。

当我尝试查询时：

?- user(@anna).
ERROR: toplevel: Undefined procedure: user/1 (DWIM could not correct goal)

我的hw4.pl：

assert(user(@anna)).
assert(user(@tom)).
assert(user(@jeremy)).
assert(user(@lawrence)).

知道为什么吗？提前谢谢！

Answer 1

这是我尝试加载文件时得到的结果：

ERROR: hw4.pl:1:13: Syntax error: Operator expected
ERROR: hw4.pl:2:13: Syntax error: Operator expected
ERROR: hw4.pl:3:13: Syntax error: Operator expected
ERROR: hw4.pl:4:13: Syntax error: Operator expected

我非常确定@不是有效的语法。将文件更改为

assert(user(anna)).
assert(user(tom)).
assert(user(jeremy)).
assert(user(lawrence)).

你应该没事。