committing to choices in the s...

examples of prolog meta-interp...

using throw(cut) and catch() t...

Meta-interpreter for calculati...

Change goal execution order in...

meta-Programming Prolog ,List ...

Prolog tracing interpreter fai...

No permission to access privat...

Pure Prolog Meta-Interpreter w...

Arguments are not sufficiently...

Is it possible to write a prol...

Proof as an output argument in...

Prolog: "Vanilla" me...

Looping in Prolog metainterpre...

negation \+ and vanilla meta-i...

What is wrong with this versio...

No permission to access privat...

Dealing with complicated prolo...

error while compling the metap...

Refactoring tangled, circular ...

Combing generator results and ...

Implementing cut in tracing me...