Prolog中的关系转移元素左旋转

Question

我需要的关系在序言转移列表中一个元素，使得

?shift([1,2,3],L) 

应该产生

L=[2,3,1]. 

你能帮助我离开旋转？

Answer 1

可以使用附加命令列表的元素结合在一起：

shift([H|T], Y) :- 
    append(T, [H], Y). 

所以只需附加的尾巴一起头（按顺序），并设置Y到新创建的列表。请注意，由于H是一个元素，而不是一个列表，因此您必须将其与[和]包围，以使其成为append函数中的列表。

另外，在Prolog中使用列表的here's a good basic overview。