Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes