METAFOL: PROGRAM TACTICS AND LOGIC TACTICS PLUS REFLECTION