Jan Wielemaker wrote:
> 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?

ECLiPSe has had compile_term(Clauses) for as long as I can remember.
A language where programs can be represented as normal data structures
should probably have a standard way of compiling those structures...

-- Joachim