On 10/12/2013, at 19:32, Federico Ferri <federico.ferri.it_at_gmail.com> wrote: > hi all, > > I'm embedding eclipse into a project, and need some discontiguous predicates defined in several files. Lookup the documentation on multifile predicates and the multifile/1 directive. Cheers, Paulo > basically, there is one file preliminary_setup.pl, which defines: > :- discontiguous(mypred/1). > mypred(X) :- ... > > the rest of the code has to be defined in main.pl (including mypred/1). > > now if > > 1) in the embedded eclipse I compile preliminary_setup.pl, and then I compile main.pl, I get the warning: > WARNING: mypred/1 replaces previous definition in file preliminary_setup.pl > moreover, nothing works (my guess is that mypred/1 really gets replaced) > > 2) if I declare in main.pl :-[preliminary_setup]. and in the embedded eclipse I only compile main.pl, I still get warnings about replace previous definition, but the code works. > > clearly with 2) I worked around the problem, yet get those warnings. > what I'd like to do is to compile everything programmatically, from the embedded eclipse api. > what's wrong with my approach? > > also, I tried asserting or compiling the :-discontiguous(...). declarations before (via the embedded eclipse api) but it doesn't work. > > any help appreciated. > > thanks > Federico Ferri > ------------------------------------------------------------------------------ > Rapidly troubleshoot problems before they affect your business. Most IT > organizations don't have a clear picture of how application performance > affects their revenue. With AppDynamics, you get 100% visibility into your > Java,.NET, & PHP application. Start your 15-day FREE TRIAL of AppDynamics Pro! > http://pubads.g.doubleclick.net/gampad/clk?id=84349831&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 ----------------------------------------------------------------- Paulo Moura Logtalk developer Email: <mailto:pmoura_at_logtalk.org> Web: <http://logtalk.org/> -----------------------------------------------------------------Received on Wed Dec 11 2013 - 00:57:24 CET
This archive was generated by hypermail 2.2.0 : Wed Dec 11 2013 - 18:13:17 CET