A.51 library(solution_sequences): Modify solution sequences
AllApplicationManualNameSummaryHelp

  • Documentation
    • Reference manual
      • The SWI-Prolog library
        • library(solution_sequences): Modify solution sequences
          • distinct/1
          • distinct/2
          • reduced/1
          • reduced/3
          • limit/2
          • offset/2
          • call_nth/2
          • order_by/2
          • group_by/4
    • Packages
Availability::- use_module(library(solution_sequences)).(can be autoloaded)
Sourceoffset(+Count, :Goal)
Ignore the first Count solutions. True if Goal is true and produces more than Count solutions. This predicate computes and ignores the first Count solutions.