REF-ARF

"REF-ARF: A System for Solving Problems Stated as Procedures", R. E. Fikes, Artificial Intelligence Journal 1(1) (Spring 1970).