Todd A. Proebsting Simple Translation of Goal-Directed Evaluation. 1-6 1997 PLDI db/conf/pldi/pldi97.html#Proebsting97