Problem Specification :
Hence given the above context for "ILP" there we can state the learning problem as follows: that we are given a set of positive and a set of negative examples represented as logic programs E+ and E- respectively. Like some background clauses making up a logic program B. So now next these logic programs satisfy the two prior conditions. Whether the learning problem is to find a logic program, H, like that H, B, E+ and E- satisfy the posterior conditions.