prolog::merge/3¶
@ored merge(+List1, +List2, -Merged)% is true when Merged is the stable merge of the two given lists.% If the two lists are not ordered, the merge doesn't mean a great% deal. Merging is perfectly well defined when the inputs contain% duplicates, and all copies of an element are preserved in the% output, e.g. merge("122357", "34568", "12233455678"). Study this% routine carefully, as it is the basis for all the rest.
(undocumented)
Private-func:¶
1. prolog::merge_3::merge/3(int ARG1, int ARG2, int ARG3)():