• Places
    • Home
    • Graphs
    • Prefixes
  • Admin
    • Users
    • Settings
    • Plugins
    • Statistics
  • CPACK
    • Home
    • List packs
    • Submit pack
  • Repository
    • Load local file
    • Load from HTTP
    • Load from library
    • Remove triples
    • Clear repository
  • Query
    • YASGUI SPARQL Editor
    • Simple Form
    • SWISH Prolog shell
  • Help
    • Documentation
    • Tutorial
    • Roadmap
    • HTTP Services
  • Login

F.2 Library predicates
AllApplicationManualNameSummaryHelp

  • 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(fastrw)
          • library(explain)
          • library(help)
          • library(gensym)
          • library(heaps)
          • library(increval)
          • library(intercept)
          • library(iostream)
          • library(listing)
          • library(lists)
          • library(main)
          • library(occurs)
          • library(option)
          • library(optparse)
          • library(ordsets)
          • library(persistency)
          • library(portraytext)
          • library(predicate_options)
          • library(prologdebug)
          • library(prologjiti)
          • library(prologpack)
          • library(prologxref)
          • library(pairs)
          • library(pio)
          • library(random)
          • library(rbtrees)
          • library(readutil)
          • library(record)
          • library(registry)
          • library(settings)
          • library(simplex)
          • library(statistics)
          • library(terms)
          • library(ugraphs)
          • library(url)
          • library(www_browser)
          • library(solution_sequences)
          • library(thread)
          • library(thread_pool)
          • library(varnumbers)
          • library(yall)
    • Packages
uo;Clause' on the current output stream. portray_clause/2Portray‘Clause' on the current output stream. portray_clause/3Portray‘Clause' on the current output stream.

F.2.26 library(lists)

append/2Concatenate a list of lists.
append/3List1AndList2 is the concatenation of List1 and List2.
clumped/2Pairs is a list of‘Item-Count` pairs that represents the _run length encoding_ of Items.
delete/3Delete matching elements from a list.
flatten/2Is true if FlatList is a non-nested version of NestedList.
intersection/3True if Set3 unifies with the intersection of Set1 and Set2.
is_set/1True if Set is a proper list without duplicates.
last/2Succeeds when Last is the last element of List.
list_to_set/2True when Set has the same elements as List in the same order.
max_list/2True if Max is the largest number in List.
max_member/2True when Max is the largest member in the standard order of terms.
max_member/3True when Max is the largest member according to Pred, which must be a 2-argument callable that behaves like (@=<)/2.
member/2True if Elem is a member of List.
min_list/2True if Min is the smallest number in List.
min_member/2True when Min is the smallest member in the standard order of terms.
min_member/3True when Min is the smallest member according to Pred, which must be a 2-argument callable that behaves like (@=<)/2.
nextto/3True if Y directly follows X in List.
nth0/3True when Elem is the Index'th element of List.
nth0/4Select/insert element at index.
nth1/3Is true when Elem is the Index'th element of List.
nth1/4As nth0/4, but counting starts at 1.
numlist/3List is a list [Low, Low+1, ... High].
permutation/2True when Xs is a permutation of Ys.
prefix/2True iff Part is a leading substring of Whole.
proper_length/2True when Length is the number of elements in the proper list List.
reverse/2Is true when the elements of List2 are in reverse order compared to List1.
same_length/2Is true when List1 and List2 are lists with the same number of elements.
select/3Is true when List1, with Elem removed, results in List2.
select/4Select from two lists at the same position.
selectchk/3Semi-deterministic removal of first element in List that unifies with Elem.
selectchk/4Semi-deterministic version of select/4.
subseq/3Is true when SubList contains a subset of the elements of List in the same order and Complement contains all elem

ClioPatria (version V3.1.1-42-gd6a756b-DIRTY)