module cache.

local table  A -> B -> o.

cache Pred Key K :-
  if (table Key Value) (K Value)
     (Pred Key Value, table Key Value => K Value).