SWI-Prolog -- distinct/2

Did you know ... Search Documentation:

SWI-Prolog owl logo Predicate distinct/2

HOME
DOWNLOAD
DOCUMENTATION
- Manual
- Packages
- FAQ
- Command line
- PlDoc
- Bluffers▶
- License
- Publications
- Rev 7 Extensions
TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
  - ClioPatriaExternal
  - RDF namespaces
- Graphics▶
  - XPCE
  - GUI options
- Machine learning▶
  - Probabilistic Logic ProgrammingExternal
- External collections▶
  - Meta level tutorialsExternal
- For packagers▶
  - Linux packages
COMMUNITY
COMMERCIAL
WIKI
- Login
- View changes
- Sandbox
- Wiki help
- All tags

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)

Source distinct(:Goal)

distinct(?Witness, :Goal)

True if Goal is true and no previous solution of Goal bound Witness to the same value. As previous answers need to be copied, equivalence testing is based on term variance (=@=/2). The variant distinct/1 is equivalent to distinct(Goal,Goal).

If the answers are ground terms, the predicate behaves as the code below, but answers are returned as soon as they become available rather than first computing the complete answer set.

distinct(Goal) :-
 findall(Goal, Goal, List),
 list_to_set(List, Set),
 member(Goal, Set).

Tags are associated to your profile if you are logged in

Tags:

login to add a new annotation post.