The Limits of Horn Logic Programs

It becomes more and more important to discover knowledge in massive information. The knowledge can be taken as a theory. As the information increases, the theories should be updated. Thus we get a sequence of theories, denoted by Π 1, Π 2,..., Π n,.... This procedure may never stop, i.e. maybe there is not a natural number k such that Π k = Π k+1 =.... So sometimes we need to consider some kind of limit of theories and discover what kind of knowledge is true in the limit.