Add parser and prolog example programs

There was an issue in prolog when compiling with COMPUTED_GOTOS because the built-in indirections still had actual bytecode instructions instead of labels. The issue only occurred when fh was lazy in its second argument (++ uses jmp_eval_upd).