У меня есть проблема, которая требует, чтобы я добавил в список элементы, распределенные по различным предикатам. Вместо использования списков на основе аргументов я решил использовать предикат динамического списка. I простой пример можно увидеть ниже. Когда я первоначально использовал его, он работал нормально, но теперь, если я использую какой-либо аргумент в качестве 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