Lecture 5: Backtracking

Slightly more sophisticated meta-interpreter that
makes backtracking explicit for ground goals.