Hi Joachim,

On 2012-02-03, Joachim Schimpf <jschimpf@invalid.invalid> wrote:
> See http://www.eclipseclp.org/software/l...ops_swi.pl.txt
> for a naive way to hook it into SWI-Prolog. As you know, these
> things are system dependent, thus not part of the reference code.

Note that SWI-Prolog has (for quite some time) compile_aux_clauses/1,
which is intended for generating clauses from goal_expansion/2. The
difference is that the code becomes static and that it is associated
with the source-file and thus properly updated if the file is
modified and recompiled.

See http://www.swi-prolog.org/pldoc/doc_..._aux_clauses/1

Might be nice to synchronize interfaces for that at some point. How
do other systems cope with this?

Cheers --- Jan