Pure Prolog Execution in 21 Rules

Marija Kulas Pure Prolog Execution in 21 Rules http://arxiv.org/abs/cs.PL/0310020 2003 CoRR cs.PL/0310020 db/journals/corr/corr0310.html#cs-PL-0310020 informal publication