Jan Wielemaker wrote:
> Hi Joachim,
> On 2012-02-03, Joachim Schimpf <email@example.com> 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...