Kernel/lib/lists.pl

290     fail_if:"Collection is not a collection",
407     fail_if:"Collection is not a collection",
675 	fail_if:"   Fails if List2 does not unify with List1 less an occurence of Element.\n\n",
730 	fail_if:"   Fails if List2 does not unify with List1 less an occurence of Element.\n\n",
760 	fail_if:"   Fails if Common does not unify with the list which contains the common\n   elements of List1 and List2.\n\n",
797 	fail_if:"   Fails if the length of list List does not unify with N.\n\n",
825 	fail_if:"   Fails if Term does not unify with a member of the list List.\n\n",
849 	fail_if:"   Fails if Term is not a member of the list List.\n\n",
874 	fail_if:"   Fails if Element is an element of the list List.\n\n",
903 	fail_if:"   Fails if if Remainder does not unify with the list which contains those\n   elements of List1 which are not in List2.\n\n",
932 	fail_if:"   Fails if Union does not unify with the list which contains the union of\n   elements in List1 and those in List2.\n\n",
956 	fail_if:"   Fails if Reverse does not unify with the reversed version of List.\n\n",
980 	fail_if:"   Fails if List3 does not unify with the result of appending List2 to\n   List1.\n\n",
1008 	fail_if:"Fails if at least for one element of List the invocation of Pred with this additional argument fails.",
1038 	fail_if:"   Fails if FlatList does not unify with the flattened version of\n   NestedList.\n\n",
1059 	fail_if:"   Fails if FlatList does not unify with the flattened version of\n   NestedList.\n\n",
1108 	fail_if:"Fails if at least for one pair of corresponding elements of OldList and NewList the invocation of Pred with these two additional arguments fails",
1135 	fail_if:"   Fails if SubList does not unify with a list whose elements are all\n   contained in List in the same order as in SubList.\n\n",