# Higher-order logic programming in Prolog

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