Package org.projog.core.predicate.builtin.list
Predicates for working with list data structures.
-
Class Summary Class Description Append append(X,Y,Z)- concatenates two lists.Append.AppendPredicate AppendListOfLists append(ListOfLists, List)- concatenates a list of lists.AtomicListConcat atomic_list_concat(List,Separator,Atom)/atomic_list_concat(List,Atom)Delete delete(X,Y,Z)- remove all occurrences of a term from a list.ExtremumList min_list/max_listFlatten flatten(X,Y)- flattens a nested list.Fold foldl(PredicateName, Values, Start, Result)- combines elements of a list into a single term.Fold.OptimisedFold Fold.Retryable KeySort keysort(X,Y)- sorts a list of key/value pairs.Last last(X,Y)- finds the last element of a list.Last.LastPredicate Length length(X,Y)- determines the length of a list.Length.Retryable MapList maplist(X,Y)/maplist(X,Y,Z)- determines if a goal succeeds against elements of a list.MapList.PreprocessedMapList MapList.Retryable Member member(E, L)- enumerates members of a list.MemberCheck memberchk(E, L)- checks is a term is a member of a list.MemberCheck.PreprocessedMemberCheck Nth nth0(X,Y,Z)/nth1(X,Y,Z)- examines an element of a list.PairsElements pairs_keys(Pairs,Keys)/pairs_values(Pairs,Values)- get keys or values from list of Key-Value pairs.PartialApplicationUtils Reverse reverse(X,Y)- reverses the order of elements in a list.Reverse.ReversePredicate Select select(X,Y,Z)- removes an element from a list.Select.SelectPredicate Sort msort(X,Y)- sorts a list.SortAsSet sort(X,Y)- sorts a list and removes duplicates.SubList include(X,Y,Z)- filters a list by a goal.SubList.PreprocessedSubList Subset subset(X,Y)- checks if a set is a subset.SubtractFromList subtract(X,Y,Z)- removes elements from a list.