Explainable Pathfinding for Inscrutable Planners with Inductive Logic Programming