- Documentation
- Reference manual
- The SWI-Prolog library
- library(aggregate): Aggregation operators on backtrackable predicates
- library(ansi_term): Print decorated text to ANSI consoles
- library(apply): Apply predicates on a list
- library(assoc): Association lists
- library(broadcast): Broadcast and receive event notifications
- library(charsio): I/O on Lists of Character Codes
- library(check): Consistency checking
- library(clpb): CLP(B): Constraint Logic Programming over Boolean Variables
- library(clpfd): CLP(FD): Constraint Logic Programming over Finite Domains
- library(clpqr): Constraint Logic Programming over Rationals and Reals
- library(csv): Process CSV (Comma-Separated Values) data
- library(dcg/basics): Various general DCG utilities
- library(dcg/high_order): High order grammar operations
- library(debug): Print debug messages and test assertions
- library(dicts): Dict utilities
- library(error): Error generating support
- library(gensym): Generate unique identifiers
- library(intercept): Intercept and signal interface
- library(iostream): Utilities to deal with streams
- library(lists): List Manipulation
- library(main): Provide entry point for scripts
- library(nb_set): Non-backtrackable set
- library(www_browser): Activating your Web-browser
- library(occurs): Finding and counting sub-terms
- library(option): Option list processing
- library(optparse): command line parsing
- library(ordsets): Ordered set manipulation
- library(pairs): Operations on key-value lists
- library(persistency): Provide persistent dynamic predicates
- library(pio): Pure I/O
- library(predicate_options): Declare option-processing of predicates
- library(prolog_jiti): Just In Time Indexing (JITI) utilities
- library(prolog_pack): A package manager for Prolog
- library(prolog_xref): Prolog cross-referencer data collection
- library(quasi_quotations): Define Quasi Quotation syntax
- library(random): Random numbers
- library(readutil): Read utilities
- library(record): Access named fields in a term
- library(registry): Manipulating the Windows registry
- library(settings): Setting management
- library(simplex): Solve linear programming problems
- library(solution_sequences): Modify solution sequences
- library(tables): XSB interface to tables
- library(thread): High level thread primitives
- library(thread_pool): Resource bounded thread management
- library(ugraphs): Unweighted Graphs
- library(url): Analysing and constructing URL
- library(varnumbers): Utilities for numbered terms
- library(yall): Lambda expressions

- The SWI-Prolog library
- Packages

- Reference manual

## A.3 library(apply): Apply predicates on a list

- See also
- -
`apply_macros.pl`

provides compile-time expansion for part of this library.

- http://www.cs.otago.ac.nz/staffpriv/ok/pllib.htm - To be done
- Add include/4, include/5, exclude/4, exclude/5

This module defines meta-predicates that apply a predicate on all members of a list.

- [det]
**include**(`:Goal, +List1, ?List2`) - Filter elements for which
`Goal`succeeds. True if`List2`contains those elements Xi of`List1`for which`call(Goal, Xi)`

succeeds.- See also
- Older versions of SWI-Prolog had sublist/3 with the same arguments and semantics.

- [det]
**exclude**(`:Goal, +List1, ?List2`) - Filter elements for which
`Goal`fails. True if`List2`contains those elements Xi of`List1`for which`call(Goal, Xi)`

fails. - [det]
**partition**(`:Pred, +List, ?Included, ?Excluded`) - Filter elements of
`List`according to`Pred`. True if`Included`contains all elements for which`call(Pred, X)`

succeeds and`Excluded`contains the remaining elements. - [semidet]
**partition**(`:Pred, +List, ?Less, ?Equal, ?Greater`) - Filter
`List`according to`Pred`in three sets. For each element Xi of`List`, its destination is determined by`call(Pred, Xi, Place)`

, where Place must be unified to one of`<`

,`=`

or`>`

.`Pred`must be deterministic. **maplist**(`:Goal, ?List1`)**maplist**(`:Goal, ?List1, ?List2`)**maplist**(`:Goal, ?List1, ?List2, ?List3`)**maplist**(`:Goal, ?List1, ?List2, ?List3, ?List4`)- True if
`Goal`is successfully applied on all matching elements of the list. The maplist family of predicates is defined as:maplist(P, [X11,...,X1n], ..., [Xm1,...,Xmn]) :- P(X11, ..., Xm1), ... P(X1n, ..., Xmn).

This family of predicates is deterministic iff

`Goal`is deterministic and`List1`is a proper list, i.e., a list that ends in`[]`

. - [det]
**convlist**(`:Goal, +ListIn, -ListOut`) - Similar to maplist/3,
but elements for which
`call(Goal, ElemIn, _)`

fails are omitted from`ListOut`. For example (using`library(yall)`

):?- convlist([X,Y]>>(integer(X), Y is X^2), [3, 5, 4.4, 2], L). L = [9, 25, 4].

- Compatibility
- Also appears in YAP
`library(maplist)`

and SICStus`library(lists)`

.

**foldl**(`:Goal, +List, +V0, -V`)**foldl**(`:Goal, +List1, +List2, +V0, -V`)**foldl**(`:Goal, +List1, +List2, +List3, +V0, -V`)**foldl**(`:Goal, +List1, +List2, +List3, +List4, +V0, -V`)- Fold a list, using arguments of the list as left argument. The foldl
family of predicates is defined by:
foldl(P, [X11,...,X1n], ..., [Xm1,...,Xmn], V0, Vn) :- P(X11, ..., Xm1, V0, V1), ... P(X1n, ..., Xmn, V', Vn).

**scanl**(`:Goal, +List, +V0, -Values`)**scanl**(`:Goal, +List1, +List2, +V0, -Values`)**scanl**(`:Goal, +List1, +List2, +List3, +V0, -Values`)**scanl**(`:Goal, +List1, +List2, +List3, +List4, +V0, -Values`)- Left scan of list. The scanl family of higher order list operations is
defined by:
scanl(P, [X11,...,X1n], ..., [Xm1,...,Xmn], V0, [V0,V1,...,Vn]) :- P(X11, ..., Xm1, V0, V1), ... P(X1n, ..., Xmn, V', Vn).