Prolog - Predicados Built In

flatten(+ListaAnidada, -ListaPlana)

Es verdadero si ListaPlana es una versión no anidada de ListaAnidada.

intersection(+Conjunto1, +Conjunto2, -Intersección)

Verdadero si Intersección unifica con el conjunto de Conjunto1 y Conjunto2.

length(?Lista, ?Longitud)

Longitud es la longitud de Lista.

maplist(:Goal, ?List)

Verdadero si el Goal se cumple en todos los elementos de la lista.

maplist(:Goal, ?List1, ?List2)

Mapea la lista en pares de elementos entre la lista1 y la lista2.

memberchk(?Elem, +List)

Variante determinista de member/2 en la cual se checkea que List sea una lista.

nth0(?Index, ?List, ?Elem)

True when Elem is the Index'th element of List. Counting starts at 0.

select(?Elem, ?List1, ?List2)

Verdadero cuando Lista1 con el Elem removido da como resultado Lista2.

sublist(:Goal, +List1, ?List2)

Recorre la Lista1 dentro de la Lista2 

subset(+SubConjunto, +Conjunto)

Verdadero si Subconjunto es tal del Conjunto