SOUL(ID:3747/sou002)Declarative code generation: [http://prog.vub.ac.be/research/DMP/#Papers] A special logic term, called 'QuotedCodeTerm', allows for easy manipulation of sourcecode-templates.Using the logic inference-engine, we can compose such templates and hence, generate an entire program's source code.Recent versions of SOUL contain important changes to this construct. The current version of SOUL used to be a split-off from the normal SOUL. We used to call it QSOUL, but from now on, this is the official SOUL version. Related languages
|