Limiting Programs For Induction In Artificial Intelligence