Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus