[nondet]subseq(+List,
-SubList, -Complement)
[nondet]subseq(-List,
+SubList, +Complement)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.
- Compatibility
- SICStus. The SWI-Prolog version raises an error for less instantiated
modes as these do not terminate.