Implementation of a Prolog interpreter that works directly over the abstract syntax tree.