committing to choices in the scope of catch/3...

examples of prolog meta-interpreter uses?...

using throw(cut) and catch() to implement the cut in a meta-interpreter...

Meta-interpreter for calculating max recursion depth...

Change goal execution order in Prolog Interpreter...

meta-Programming Prolog ,List of ground facts...

Prolog tracing interpreter failing into infinite loop when executing recursive programs...

No permission to access private_procedure `var/1'...

Pure Prolog Meta-Interpreter with one Rule...

Arguments are not sufficiently instantiated in clause/2...

Is it possible to write a prolog interpreter that avoids infinite recursion?...

Proof as an output argument in Prolog meta interpreter...

Prolog: "Vanilla" metainterpreter with builtins...

Looping in Prolog metainterpreter...

negation \+ and vanilla meta-interpreter...

What is wrong with this version of trace?...

No permission to access private_procedure `true/0'...

Dealing with complicated prolog loops...

error while compling the metaprogram in prolog...

Refactoring tangled, circular rules in Prolog...

Combing generator results and writing result to stream...

Implementing cut in tracing meta interpreter prolog...