anchor.diff:  	Key -> keys_loop(Tab, Key, KeyVar, Next, Cps, Bs, Vn, Db)
       end.
   
  -%% match_2(Goal, Next, ChoicePoints, Bindings, VarNum, Database) -> void().
  -%%      Goal = {ets_match,Table,Pattern}.
  +%% match_2(Head, Next, ChoicePoints, Bindings, VarNum, Database) -> void().
  +%%      Head = {ets_match,Table,Pattern}.
   %% Match objects in an ETS database one at a time over backtracking
   %% using Pattern in goal. Variables in Pattern are bound for each
   %% object matched.
  
positive.code:     Tabs = ets:all(),
      unify_prove_body(Var, Tabs, Next, Cps, Bs, Vn, Db).
  
  %% keys_2(Goal, Next, ChoicePoints, Bindings, VarNum, Database) -> void().
  %%      Goal = {ets_keys,Table,Key}.
  %% Return the keys in an ETS database one at a time over backtracking.
  
  
negative.code: ets_var(8) -> '$8';
  ets_var(9) -> '$9';
  ets_var(10) -> '$10';
  ets_var(11) -> '$11';
  ets_var(12) -> '$12';
  ets_var(13) -> '$13';
  ets_var(14) -> '$14';
  ets_var(15) -> '$15';
  ets_var(16) -> '$16'. 
  