Higher-order logic programming in Prolog

• Paper - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.9690