Re: Conditional compilation?

>code is more efficient. A bit like an #ifdef in C. What are the options for
>implementing such conditional compilation in ECLiPSe?

It is difficult to do this in a C-like way as you can't specify parameters
like -D in ECLiPSe compilation. As compilation is done at run-time, instead
of as a seperate process (unless you do fcompile, of course), it would be
difficult to add this even if we wanted to (and I don't think we want to).

So whatever you do, I think you need to do some dynamic editing of your code.
The simplest thing you can do is to define a predicate like:

sanity_check(Goal) :- call(Goal)

sanity_check(_).

and comment the appropriate clause out (you can also use the macro facilities
to avoid the meta call).

Cheers,

Kish