Finitary Open Logic Program