prolog-reversible-interpreter

Study of Inductive Program Synthesis by Using a Reversible Meta-Interpreter by Numao & Shimura (1990). Link.

How to Run

• Get swi-prolog. On mac, brew install swi-prolog.
• Run swi-prolog: swipl.
• Load: ['reversible-interpreter.pl']..
• Run a function/test, e.g.: test_append..