Study of Inductive Program Synthesis by Using a Reversible Meta-Interpreter (Numao & Shimura, 1997) - View it on GitHub