Fix logic program