list - 如何在 swi prolog 中重复列表？

Question

如何在 swi prolog 中重复列表？

{例如：当 Y 是由重复 N 次的 X 的每个元素组成的列表时，repeat(X,Y,N) 为真（例如 repeat([a,b], [a,a,a,b,b,b ],3) 为真）。}

标签： listprologrepeat

Answer 1

在哈斯克尔...

代表 ls n = [我 | i<- ls, _ <- [1 .. n]] main = print $ rep ["1","2"] 3

在序言中

:- forall(I,between(1,3),Ls),Ls=[1,2,3]。