Towards the Generation of the "Perfect" Log Using Abductive Logic Programming