Problem Context and Specification :
However the development of Inductive Logic Programming has been heavily formal in mathematical in nature it means the major people in the field believe such that this is the only way to progress and to show progress. Because we have to (re-)introduce some notation then we will use this to formally specify the machine learning problem faced through ILP programs. Moreover to do this, we first utilised to refresh and re-represent our knowledge about logic programs or to define background as example and hypothesis logic programs. Hence following this there we will specify some prior conditions on the knowledge base which must be met before an agent attempts a learning task. In fact we will also specify some posterior conditions on the learned hypothesis that given a way to problem satisfying the prior conditions, whether our learning agent finds a hypothesis that satisfies the posterior conditions so it will have solved the learning task.