Concatenate List1 and List2 and unifiy the concatenated result with the parameter ResultList.
Delete an element from the List (second parameter) and unify the result with the third parameter ResultList.
Determine the largest number from a list of numbers.
Unify the Element parameter with the last element of a List.
Determine the number of elements in the List (first parameter) and unify that number with the second parameter Num.
Determine if an element (first parameter) is a member of a list (second parameter).
Determine if a list is a prefix of another List (second parameter).
Sort a list (first argument) using the supplied term for comparing the elements in the unsorted list (third argument).
Reverse a list (first parameter) and unify the reversed list with the second parameter.
Determine the smallest number from a list of numbers.
Determine if a list is a sublist of another List (second parameter).
Determine if a list is a suffix of another List (second parameter).
Determine the sum of all numbers in a list.
Determine the sum of all integers in a list of integers.