SEARCH Articles Figures Tables Schema Schema synthesis Schema-Guided Synthesis of Prolog Programs Stepwise, Schema-Guided Logic Algorithm Synthesis