Hi! I don't get the error you mentioned with your program. I get a lot of "Ambiguous import" warnings (you should fix this), and then: [eclipse 1]: go. n:4 l:[61, 66, 63, 69] dom:[61, 63, 66, 69] calling an undefined procedure find_2_others(4, _183, _184) in module eclipse Abort On Sat, Dec 3, 2011 at 9:58 AM, Claudio Cesar de Sá <claudio_at_colmeia.udesc.br> wrote: > Hi > > Please ... what is my mistake in this trivial example with sets: > %%:-lib(ic). > %%:-lib(branch_and_bound). > :-lib(fd). > :-lib(fd_sets). > %% data > veloc(1,[61,66,63,69]). > veloc(4,[12,122,18,1,9,7]). > go :- > veloc(1,L1), model(L1), > veloc(4,L4), model(L4). > model(L) :- > length(L,N), writeln( n: N), writeln( l: L), > sort(L, Dominio), > writeln( dom: Dominio), > find_2_others(N, N1, N2), > writeln( n1: N1) , > writeln( n2: N2) , > write('xxxxxxxx is it correct this definition?'), > L1 :: [ ] .. Dominio, > L2 :: [ ] .. Dominio, > L3 :: [ ] .. Dominio, > #(L1, N1), > #(L2, N2), > #(L3, N), > union(L1, L2, L3), > label_sets([L1, L2]). > The error is: > > undefined arithmetic expression in _472 is [] in module fd_domain > > > -- > claudio > > > ( > )) > |""|-. > |__|-' > > > ********************************************************************** > Skype: claudio_cesar_sa > http://claudiocesar.wordpress.com/about/ > *********************************************************************** > > > ------------------------------------------------------------------------------ > All the data continuously generated in your IT infrastructure > contains a definitive record of customers, application performance, > security threats, fraudulent activity, and more. Splunk takes this > data and makes sense of it. IT sense. And common sense. > http://p.sf.net/sfu/splunk-novd2d > _______________________________________________ > ECLiPSe-CLP-Users mailing list > ECLiPSe-CLP-Users_at_lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users > >Received on Sat Dec 03 2011 - 20:12:49 CET
This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET