A Constraint-Based Induction Algorithm in FOL