- subseq(+List, -SubList, -Complement) is nondet
- subseq(-List, +SubList, +Complement) is nondet
- Is true when SubList contains a subset of the elements of List in
the same order and Complement contains all elements of List not in
SubList, also in the order they appear in List.
- - SICStus. The SWI-Prolog version raises an error for less
instantiated modes as these do not terminate.