我有一个问题,需要我将元素添加到分布在各种谓词中的列表中。我选择使用动态列表谓词,而不是通过基于参数的列表。我简单的例子可以在下面看到。当我最初使用它时它工作得很好,但现在如果我使用任何参数作为 X,即使在关闭程序并重新编译之后,它也会继续从列表中检索以前的参数数据。有人知道它有什么问题吗?
//list declarations
:- dynamic listD/1.
listD([]).
//pushes X onto the list then retrieves the entire list for verification
sample(X):-
assert(listD(X)),
listD(Y),
write(Y).
Example usage
sample([adam]).
//prints adam fine
sample([fred]).
//prints adam again