Re: [eclipse-clp-users] intersection

I figured it out.

I was confused by the set-declaration example here http://eclipseclp.org/doc/libman/libman027.html

SetVar :: []..[1,2,3,4,5,6,7]

I have tried it on the Eclipse Command Line, but it does not seem to work.

[eclipse 21]: SetVar A ..[]..[1,2,3].
syntax error: unexpected token
| SetVar A ..[]..[1,2,3].
|        ^ here
[eclipse 21]:

I have also tried using it with the intersection predicate, but to no avail:

ic_sets:intersection([]..[1,2,3,4,5,6],[]..[2,3],A).


However, this set-intersection syntax works.

ic_sets:intset(A,1,5), ic_sets:intset(B,1,2), ic_sets:intersection(A,B,C).

Philippe







----- Mail original -----
De: "Philippe de Rochambeau" <phiroc_at_...22...>
À: eclipse-clp-users_at_lists.sourceforge.net
Envoyé: Vendredi 12 Décembre 2014 08:43:15
Objet: [eclipse-clp-users] intersection

Hello,

why does 

intersection([]..[1,2,3]. []..[1,2,3,4,5,6],X) not instanciate?

Should you declare variables containing the two sets first?

Many thanks.

Philippe

------------------------------------------------------------------------------
Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server
from Actuate! Instantly Supercharge Your Business Reports and Dashboards
with Interactivity, Sharing, Native Excel Exports, App Integration & more
Get technology previously reserved for billion-dollar corporations, FREE
http://pubads.g.doubleclick.net/gampad/clk?id=164703151&iu=/4140/ostg.clktrk
_______________________________________________
ECLiPSe-CLP-Users mailing list
ECLiPSe-CLP-Users_at_lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users