New posts in Prolog Metainterpreter

Refactoring tangled, circular rules in Prolog