all_distinct how it work Prolog ?

[Navien Aziz]

Hi, 

Please, I am trying to understand the  all_distinct in Prolog and the example below :

?- maplist(in, Vs, [1\/3..4, 1..2\/4, 1..2\/4, 1..3, 1..3, 1..6]),

 all_distinct(Vs).

is not clear to me, 

[1\/3..4, 1..2\/4, 1..2\/4, 1..3, 1..3, 1..6] , please could you explain the list? I do not understand the elements of the list?

1\/3..4? what is mean?

Thank you 

[Boris Vassilev]

Hello,

It is documented here:

http://www.swi-prolog.org/pldoc/man?section=clpfd

and in particular, here:

http://www.swi-prolog.org/pldoc/man?predicate=in/2

and here:

http://www.swi-prolog.org/pldoc/doc_for?object=all_distinct/1

which actually seems to have your example (strange).

Cheers,

Boris

Save our in-boxes! http://emailcharter.org

--
You received this message because you are subscribed to the Google Groups "SWI-Prolog" group.
To unsubscribe from this group and stop receiving emails from it, send an email to swi-prolog+unsubscribe@googlegroups.com.
Visit this group at https://groups.google.com/group/swi-prolog.
For more options, visit https://groups.google.com/d/optout.