Package org.projog.core.predicate.builtin.list

package org.projog.core.predicate.builtin.list

Predicates for working with list data structures.

Classes

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_list
Flatten	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.