dcg_high_order:sequence//3

sequence(:Element, :Sep, ?List)// is nondet: Match or generate a sequence of Element where each pair of elements is separated by Sep. When parsing, a matched Sep commits. The final element is not committed. See also sequence//5.