Program Tactics and Logic Tactics