Kernel/lib/lists.pl

7 % in compliance with the License.  You may obtain a copy of the License
116 % L3 is the intersection of L1 and L2, with arguments ordered as in L1
534     	starting with the first. When one input list is longer, its extra
659    Unifies the list List2 with the list List1 less an occurence of Element.
675 	fail_if:"   Fails if List2 does not unify with List1 less an occurence of Element.\n\n",
714    Unifies the list List2 with the list List1 less an occurence of Element.
730 	fail_if:"   Fails if List2 does not unify with List1 less an occurence of Element.\n\n",
735 	summary:"Succeeds if Common unifies with the list which contains the common elements\nof List1 and List2.\n\n",
739    Common is unified with a list which contains the common elements of
760 	fail_if:"   Fails if Common does not unify with the list which contains the common\n   elements of List1 and List2.\n\n",
772    Unifies N with the length of list List.  length/2 can be used to create
797 	fail_if:"   Fails if the length of list List does not unify with N.\n\n",
802 	summary:"Succeeds if Term unifies with a member of the list List.\n\n",
808    Tries to unify Term with an element of the list List.
825 	fail_if:"   Fails if Term does not unify with a member of the list List.\n\n",
835    Unifies Term with the first matching element of the list List.
883    Unifies Remainder with a list containing those elements of List1 which
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",
941    The List is reversed and the resulting list is unified with Reverse.
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",
990    Pred with one aditional argument which is this element succeeds.
1007 	resat:"Resatisfiable if at least for one element of List the invocation of Pred with this additional argument is resatisfiable.",
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",
1089    OldList and NewList the invocation of Pred with two aditional arguments
1107 	resat:"Resatisfiable if at least for one pair of corresponding elements of OldList and NewList the invocation of Pred with these two additional arguments is resatisfiable",
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",
1133 	args:["?SubList" : "A term which unifies with a list.", "+List" : "A term which unifies with a list."],
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",