Using Tabled Logic Programming to Solve the Petrobras Planning Problem | Read Paper on Bytez