Thank you, but the main question how to construct that domain X :: [10..20, 15..30, 40..50] if I have a list of interval boundaries [[10, 20], [15, 30], [40, 50]] (I read them from a file, number of intervals can be different). I can't see how do this simpler than in my model/2 Sergey. On Sun, Nov 6, 2011 at 2:18 AM, Joachim Schimpf <jschimpf_at_coninfer.com> wrote: > Sergey Dymchenko wrote: >> >> [eclipse 1]: model([[10, 20], [15, 30], [40, 50]], Domain), >> query(Domain, 1, A1), query(Domain, 10, A2), query(Domain, 35, A3). >> >> Domain = [10 .. 30, 40 .. 50] >> A1 = "No" >> A2 = "Yes" >> A3 = "No" >> Yes (0.00s cpu) > > Hi Sergey, > > you can achieve that simply via > > ?- X :: [10..20, 15..30, 40..50], is_in_domain(1, X, B1), is_in_domain(10, X, B2). > X = X{[10 .. 30, 40 .. 50]} > B1 = no > B2 = yes > Yes (0.00s cpu) > > > -- Joachim > > > ------------------------------------------------------------------------------ > RSA(R) Conference 2012 > Save $700 by Nov 18 > Register now > http://p.sf.net/sfu/rsa-sfdev2dev1 > _______________________________________________ > ECLiPSe-CLP-Users mailing list > ECLiPSe-CLP-Users_at_lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users >Received on Sun Nov 06 2011 - 01:00:09 CET
This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET