prolog - 在 SICStus Prolog/SWI-Prolog REPL 中定义谓词

Question

我正在阅读 http://cs.union.edu/~striegnk/learn-prolog-now/html/node3.html#subsec.l1.kb1 ,
但我在运行以下谓词时遇到问题:

SICStus 4.0.1 (x86-win32-nt-4): Tue May 15 21:17:49 WEST 2007
| ?- woman(mia).
! Existence error in user:woman/1
! procedure user:woman/1 does not exist
! goal:  user:woman(mia)
| ?- 

另一方面，如果我将其写入文件并运行咨询文件，它似乎工作正常......

我是否只允许在稍后查阅它们的文件中定义谓词？我不能只在编辑器中完成吗？

Answer 1

在 repl 中做谓词有点烦人。你可以做

| ?- ['user'].
woman(mia).
^D

即咨询用户输入，或

| ?- assertz(woman(mia)).

断言它。两个笨拙的 IMO - 可能有更好的方法，不过，我只是不知道。一般来说，使用脚本更容易。