Limit behavior of prioritized inductive logic programs

• 优先归纳逻辑程序的极限行为