Re: [eclipse-clp-users] intersection

From: <phiroc_at_...22...>
Date: Fri, 12 Dec 2014 15:00:01 +0100 (CET)
I figured it out.

I was confused by the set-declaration example here

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:


However, this set-intersection syntax works.

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


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


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.


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
ECLiPSe-CLP-Users mailing list
Received on Fri Dec 12 2014 - 14:00:09 CET

This archive was generated by hypermail 2.3.0 : Fri Aug 16 2019 - 15:13:40 CEST