Logic planning