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

  • Documentation
    • Reference manual
      • The SWI-Prolog library
        • library(apply): Apply predicates on a list
          • include/3
          • exclude/3
          • partition/4
          • partition/5
          • maplist/2
          • maplist/3
          • maplist/4
          • maplist/5
          • convlist/3
          • foldl/4
          • foldl/5
          • foldl/6
          • foldl/7
          • scanl/4
          • scanl/5
          • scanl/6
          • scanl/7
    • Packages
Availability::- use_module(library(apply)).(can be autoloaded)
Source[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
exclude/3, partition/4, convlist/3.
Compatibility
Older versions of SWI-Prolog had sublist/3 with the same arguments and semantics.