M-Prolog: A Two-Dimensional Backtracking Architecture

I am continuing the development of the M-Prolog compiler.