序言-多次复制同一列表

Question

我是Prolog的新手，并尝试通过删除索引元素来修改列表。

例如：

remove(1,[1,2,3],Z).  
Z is [1,3]. 

但是，当我尝试再次运行此谓词时，该列表将以[1,2,3]的形式发送。

据我搜索，我认为它无法在Prolog中实现真的吗 ？

如果是真的，我可以尝试哪些替代方法？

我已经被困了很长时间了，很感谢任何帮助。

Answer 1

使用预定义谓词nth0/3和select/3

?- nth0(1,[1,2,3],Element),select(Element,[1,2,3],Z).
Element = 2,
Z = [1, 3] ;
false.