- Documentation
- Reference manual
- Summary
- Library predicates
- library(aggregate)
- library(ansi_term)
- library(apply)
- library(assoc)
- library(broadcast)
- library(charsio)
- library(check)
- library(clpb)
- library(clpfd)
- library(clpqr)
- library(csv)
- library(dcgbasics)
- library(dcghighorder)
- library(debug)
- library(dicts)
- library(error)
- library(explain)
- library(help)
- library(intercept)
- library(summaries.d/intercept.tex)
- library(iostream)
- library(summaries.d/iostream.tex)
- library(listing)
- library(lists)
- library(main)
- library(occurs)
- library(option)
- library(optparse)
- library(ordsets)
- library(persistency)
- library(predicate_options)
- library(prologjiti)
- library(prologpack)
- library(prologxref)
- library(pairs)
- library(pio)
- library(random)
- library(readutil)
- library(record)
- library(registry)
- library(settings)
- library(simplex)
- library(terms)
- library(ugraphs)
- library(url)
- library(www_browser)
- library(solution_sequences)
- library(thread)
- library(thread_pool)
- library(varnumbers)
- library(yall)
- Library predicates
- Summary
- Packages
- Reference manual
F.2.3 library(apply)
convlist/3 | Similar to maplist/3, but elements for which call(Goal, ElemIn, _) fails are omitted from ListOut. |
exclude/3 | Filter elements for which Goal fails. |
foldl/4 | Fold
an ensemble of _m_ (0 <= _m_ <= 4) lists
of length _n_ head-to-tail ("fold-left"), using columns of _m_ list
elements as arguments for Goal. |
foldl/5 | Fold
an ensemble of _m_ (0 <= _m_ <= 4) lists
of length _n_ head-to-tail ("fold-left"), using columns of _m_ list
elements as arguments for Goal. |
foldl/6 | Fold
an ensemble of _m_ (0 <= _m_ <= 4) lists
of length _n_ head-to-tail ("fold-left"), using columns of _m_ list
elements as arguments for Goal. |
foldl/7 | Fold
an ensemble of _m_ (0 <= _m_ <= 4) lists
of length _n_ head-to-tail ("fold-left"), using columns of _m_ list
elements as arguments for Goal. |
include/3 | Filter elements for which Goal succeeds. |
maplist/2 | True if Goal is successfully applied on all matching elements of the list. |
maplist/3 | True if Goal is successfully applied on all matching elements of the list. |
maplist/4 | True if Goal is successfully applied on all matching elements of the list. |
maplist/5 | True if Goal is successfully applied on all matching elements of the list. |
partition/4 | Filter elements of List according to Pred. |
partition/5 | Filter List according to Pred in three sets. |
scanl/4 | Scan
an ensemble of _m_ (0 <= _m_ <= 4) lists
of length _n_ head-to-tail ("scan-left"), using columns of _m_ list
elements as arguments for Goal. |
scanl/5 | Scan
an ensemble of _m_ (0 <= _m_ <= 4) lists
of length _n_ head-to-tail ("scan-left"), using columns of _m_ list
elements as arguments for Goal. |
scanl/6 | Scan
an ensemble of _m_ (0 <= _m_ <= 4) lists
of length _n_ head-to-tail ("scan-left"), using columns of _m_ list
elements as arguments for Goal. |
scanl/7 | Scan
an ensemble of _m_ (0 <= _m_ <= 4) lists
of length _n_ head-to-tail ("scan-left"), using columns of _m_ list
elements as arguments for Goal. |