gitmyhub

prolog-reversible-interpreter

Prolog ★ 7 updated 6mo ago

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

No plain-English explanation yet — one is being written right now. Check back in a minute.