On the use of inductive reasoning in program synthesis: Prejudice and prospects Book chapter (January 1994)