Re: [eclipse-clp-users] discontiguous predicates in multiple files in embedded eclipse

From: Paulo Moura <pmoura_at_...342...>
Date: Wed, 11 Dec 2013 00:57:10 +0000
On 10/12/2013, at 19:32, Federico Ferri <federico.ferri.it@...6...> 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@...342...>
Web:   <http://logtalk.org/>
-----------------------------------------------------------------
Received on Wed Dec 11 2013 - 00:57:24 CET

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:30 CEST